| drwxr-xr-x | [up] | |||
| drwxr-xr-x | document | files | ||
| drwxr-xr-x | src | files | ||
| -rw-r--r-- | 2022-04-30 00:50 +0100 | 32420 | BasicIdentities.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-04-30 00:50 +0100 | 13658 | Blexer.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-04-30 00:50 +0100 | 20054 | BlexerSimp.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-04-30 00:50 +0100 | 63563 | ClosedForms.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-04-30 00:50 +0100 | 18912 | ClosedFormsBounds.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-04-30 00:50 +0100 | 5220 | FBound.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-04-30 00:50 +0100 | 5397 | GeneralRegexBound.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-04-30 00:50 +0100 | 16817 | Lexer.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-04-30 00:50 +0100 | 12071 | LexerSimp.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-04-30 00:50 +0100 | 20138 | PDerivs.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-04-30 00:50 +0100 | 75404 | Paper.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-04-30 00:50 +0100 | 26692 | Positions.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-04-30 00:50 +0100 | 13042 | PosixSpec.thy | file | revisions | annotate |
| -rw-r--r-- | 2022-04-30 00:50 +0100 | 912 | README.md | file | revisions | annotate |
| -rw-r--r-- | 2022-04-30 00:50 +0100 | 664 | ROOT | file | revisions | annotate |
| -rw-r--r-- | 2022-04-30 00:50 +0100 | 6193 | RegLangs.thy | file | revisions | annotate |