drwxr-xr-x |
|
|
[up] |
|
drwxr-xr-x |
|
|
Journal
|
files
|
drwxr-xr-x |
|
|
Paper
|
files
|
-rw-r--r-- |
2022-06-09 22:08 +0100 |
45551 |
BasicIdentities.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-06-09 22:08 +0100 |
95610 |
BitCoded.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-06-09 22:08 +0100 |
116621 |
BitCoded2.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-06-09 22:08 +0100 |
112724 |
BitCoded2CT.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-06-09 22:08 +0100 |
98875 |
BitCodedCT.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-06-09 22:08 +0100 |
1460 |
Bounds.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-06-09 22:08 +0100 |
89741 |
ClosedForms.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-06-09 22:08 +0100 |
30869 |
ClosedFormsBounds.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-06-09 22:08 +0100 |
8041 |
Exercises.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-06-09 22:08 +0100 |
9176 |
GeneralRegexBound.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-06-09 22:08 +0100 |
16801 |
Lexer.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-06-09 22:08 +0100 |
30336 |
LexerExt.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-06-09 22:08 +0100 |
20825 |
PDerivs.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-06-09 22:08 +0100 |
26691 |
Positions.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-06-09 22:08 +0100 |
44986 |
PositionsExt.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-06-09 22:08 +0100 |
293 |
README
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-06-09 22:08 +0100 |
1168 |
ROOT
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-06-09 22:08 +0100 |
84213 |
Re.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-06-09 22:08 +0100 |
87877 |
Re1.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-06-09 22:08 +0100 |
107190 |
ReTest.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-06-09 22:08 +0100 |
6193 |
RegLangs.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-06-09 22:08 +0100 |
12053 |
Simplifying.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-06-09 22:08 +0100 |
48353 |
SizeBound.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-06-09 22:08 +0100 |
43330 |
SizeBound2.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-06-09 22:08 +0100 |
70348 |
SizeBound3.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-06-09 22:08 +0100 |
50379 |
SizeBound4.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-06-09 22:08 +0100 |
39490 |
SizeBound4CT.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-06-09 22:08 +0100 |
64938 |
SizeBound5CT.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-06-09 22:08 +0100 |
62824 |
SizeBound6CT.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-06-09 22:08 +0100 |
53469 |
SizeBoundStrong.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-06-09 22:08 +0100 |
13037 |
Spec.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-06-09 22:08 +0100 |
22233 |
SpecAlts.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-06-09 22:08 +0100 |
58331 |
SpecExt.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-06-09 22:08 +0100 |
10083 |
Sulzmann.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-06-09 22:08 +0100 |
32083 |
blexer1.sc
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-06-09 22:08 +0100 |
44461 |
blexer2.sc
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-06-09 22:08 +0100 |
294445 |
journal.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-06-09 22:08 +0100 |
144583 |
notes.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-06-09 22:08 +0100 |
445082 |
paper.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-06-09 22:08 +0100 |
14764 |
zre7.sc
|
file |
revisions |
annotate
|
-rw-r--r-- |
2022-06-09 22:08 +0100 |
15719 |
zre8.sc
|
file |
revisions |
annotate
|