drwxr-xr-x |
|
|
[up]
|
|
drwxr-xr-x |
|
|
LK
|
files
|
-rw-r--r-- |
2006-11-24 22:05 +0100 |
7911 |
ILL.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2006-11-24 22:05 +0100 |
2721 |
ILL_predlog.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2006-11-24 22:05 +0100 |
827 |
IsaMakefile
|
file |
revisions |
annotate
|
-rw-r--r-- |
2006-11-24 22:05 +0100 |
813 |
LK.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2006-11-24 22:05 +0100 |
10493 |
LK0.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2006-11-24 22:05 +0100 |
1558 |
Modal0.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2006-11-24 22:05 +0100 |
1489 |
README.html
|
file |
revisions |
annotate
|
-rw-r--r-- |
2006-11-24 22:05 +0100 |
465 |
ROOT.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2006-11-24 22:05 +0100 |
3873 |
S4.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2006-11-24 22:05 +0100 |
7760 |
S43.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2006-11-24 22:05 +0100 |
3964 |
Sequents.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2006-11-24 22:05 +0100 |
2587 |
T.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2006-11-24 22:05 +0100 |
1569 |
Washing.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2006-11-24 22:05 +0100 |
3244 |
modal.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2006-11-24 22:05 +0100 |
5915 |
prover.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2006-11-24 22:05 +0100 |
9558 |
simpdata.ML
|
file |
revisions |
annotate
|