Summary
- merged
- Updated entry and referenced theories from the Regular_Set entry
The file was modified | thys/Posix-Lexing/Lexer.thy (diff) |
The file was modified | thys/Posix-Lexing/ROOT (diff) |
The file was modified | thys/Posix-Lexing/Simplifying.thy (diff) |
The file was removed | thys/Posix-Lexing/Derivatives.thy |
The file was removed | thys/Posix-Lexing/Regular_Exp.thy |
The file was removed | thys/Posix-Lexing/Regular_Set.thy |