| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2023-07-10 01:33 +0100 | 33654 | BasicIdentities.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-07-10 01:33 +0100 | 16772 | Blexer.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-07-10 01:33 +0100 | 20800 | BlexerSimp.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-07-10 01:33 +0100 | 81260 | ClosedForms.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-07-10 01:33 +0100 | 28871 | ClosedFormsBounds.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-07-10 01:33 +0100 | 20454 | FBound.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-07-10 01:33 +0100 | 6265 | GeneralRegexBound.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-07-10 01:33 +0100 | 21030 | Lexer.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-07-10 01:33 +0100 | 12071 | LexerSimp.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-07-10 01:33 +0100 | 22870 | PosixSpec.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-07-10 01:33 +0100 | 7303 | RegLangs.thy | file | revisions | annotate |