| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2022-12-05 17:39 +0000 | 33654 | BasicIdentities.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-12-05 17:39 +0000 | 16772 | Blexer.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-12-05 17:39 +0000 | 20800 | BlexerSimp.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-12-05 17:39 +0000 | 81260 | ClosedForms.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-12-05 17:39 +0000 | 28871 | ClosedFormsBounds.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-12-05 17:39 +0000 | 20454 | FBound.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-12-05 17:39 +0000 | 6265 | GeneralRegexBound.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-12-05 17:39 +0000 | 21030 | Lexer.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-12-05 17:39 +0000 | 12071 | LexerSimp.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-12-05 17:39 +0000 | 22870 | PosixSpec.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-12-05 17:39 +0000 | 7303 | RegLangs.thy | file | revisions | annotate |