drwxr-xr-x |
|
|
[up] |
|
drwxr-xr-x |
|
|
document
|
files
|
drwxr-xr-x |
|
|
src
|
files
|
-rw-r--r-- |
2022-07-21 20:21 +0100 |
15730 |
BasicIdentities.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-07-21 20:21 +0100 |
13658 |
Blexer.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-07-21 20:21 +0100 |
0 |
Blexer2.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-07-21 20:21 +0100 |
25482 |
BlexerSimp.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-07-21 20:21 +0100 |
55604 |
ClosedForms.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-07-21 20:21 +0100 |
18915 |
ClosedFormsBounds.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-07-21 20:21 +0100 |
5220 |
FBound.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-07-21 20:21 +0100 |
5397 |
GeneralRegexBound.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-07-21 20:21 +0100 |
10720 |
HarderProps.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-07-21 20:21 +0100 |
16817 |
Lexer.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-07-21 20:21 +0100 |
12071 |
LexerSimp.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-07-21 20:21 +0100 |
20138 |
PDerivs.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-07-21 20:21 +0100 |
76819 |
Paper.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-07-21 20:21 +0100 |
26692 |
Positions.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-07-21 20:21 +0100 |
13042 |
PosixSpec.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-07-21 20:21 +0100 |
912 |
README.md
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-07-21 20:21 +0100 |
672 |
ROOT
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-07-21 20:21 +0100 |
6194 |
RegLangs.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-07-21 20:21 +0100 |
10559 |
RfltsRdistinctProps.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-07-21 20:21 +0100 |
4207 |
Rsimp.thy
|
file |
revisions |
annotate
|