| drwxr-xr-x | [up] | |||
| drwxr-xr-x | document | files | ||
| drwxr-xr-x | src | files | ||
| -rw-r--r-- | 2023-07-10 00:44 +0100 | 33652 | BasicIdentities.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-07-10 00:44 +0100 | 16544 | Blexer.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-07-10 00:44 +0100 | 0 | Blexer2.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-07-10 00:44 +0100 | 20765 | BlexerSimp.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-07-10 00:44 +0100 | 81258 | ClosedForms.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-07-10 00:44 +0100 | 28869 | ClosedFormsBounds.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-07-10 00:44 +0100 | 5270 | FBound.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-07-10 00:44 +0100 | 6265 | GeneralRegexBound.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-07-10 00:44 +0100 | 10720 | HarderProps.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-07-10 00:44 +0100 | 20156 | Lexer.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-07-10 00:44 +0100 | 12080 | LexerSimp.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-07-10 00:44 +0100 | 20138 | PDerivs.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-07-10 00:44 +0100 | 93403 | Paper.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-07-10 00:44 +0100 | 26692 | Positions.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-07-10 00:44 +0100 | 21403 | PosixSpec.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-07-10 00:44 +0100 | 912 | README.md | file | revisions | annotate |
| -rw-r--r-- | 2023-07-10 00:44 +0100 | 774 | ROOT | file | revisions | annotate |
| -rw-r--r-- | 2023-07-10 00:44 +0100 | 7302 | RegLangs.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-07-10 00:44 +0100 | 10559 | RfltsRdistinctProps.thy | file | revisions | annotate |
| -rw-r--r-- | 2023-07-10 00:44 +0100 | 4207 | Rsimp.thy | file | revisions | annotate |