drwxr-xr-x |
|
|
[up]
|
|
drwxr-xr-x |
|
|
LK
|
files
|
-rw-r--r-- |
2008-02-26 11:18 +0100 |
7914 |
ILL.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2008-02-26 11:18 +0100 |
2729 |
ILL_predlog.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2008-02-26 11:18 +0100 |
827 |
IsaMakefile
|
file |
revisions |
annotate
|
-rw-r--r-- |
2008-02-26 11:18 +0100 |
813 |
LK.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2008-02-26 11:18 +0100 |
10286 |
LK0.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2008-02-26 11:18 +0100 |
1558 |
Modal0.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2008-02-26 11:18 +0100 |
1489 |
README.html
|
file |
revisions |
annotate
|
-rw-r--r-- |
2008-02-26 11:18 +0100 |
312 |
ROOT.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2008-02-26 11:18 +0100 |
3875 |
S4.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2008-02-26 11:18 +0100 |
7760 |
S43.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2008-02-26 11:18 +0100 |
4025 |
Sequents.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2008-02-26 11:18 +0100 |
2589 |
T.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2008-02-26 11:18 +0100 |
1569 |
Washing.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
2008-02-26 11:18 +0100 |
3250 |
modal.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2008-02-26 11:18 +0100 |
5907 |
prover.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
2008-02-26 11:18 +0100 |
9323 |
simpdata.ML
|
file |
revisions |
annotate
|