drwxr-xr-x |
|
|
[up]
|
|
drwxr-xr-x |
|
|
ex
|
files
|
-rw-r--r-- |
1998-03-09 16:11 +0100 |
511 |
.fol.thy.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
1998-03-09 16:11 +0100 |
2680 |
.ifol.thy.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
1998-03-09 16:11 +0100 |
2511 |
FOL.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
1998-03-09 16:11 +0100 |
102 |
FOL.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
1998-03-09 16:11 +0100 |
14122 |
IFOL.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
1998-03-09 16:11 +0100 |
2896 |
IFOL.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
1998-03-09 16:11 +0100 |
1037 |
IsaMakefile
|
file |
revisions |
annotate
|
-rw-r--r-- |
1998-03-09 16:11 +0100 |
699 |
README.html
|
file |
revisions |
annotate
|
-rw-r--r-- |
1998-03-09 16:11 +0100 |
1607 |
ROOT.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
1998-03-09 16:11 +0100 |
1644 |
cladata.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
1998-03-09 16:11 +0100 |
2413 |
fol.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
1998-03-09 16:11 +0100 |
52 |
fol.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
1998-03-09 16:11 +0100 |
1367 |
fologic.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
1998-03-09 16:11 +0100 |
12879 |
ifol.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
1998-03-09 16:11 +0100 |
2108 |
ifol.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
1998-03-09 16:11 +0100 |
2498 |
int-prover.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
1998-03-09 16:11 +0100 |
2695 |
intprover.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
1998-03-09 16:11 +0100 |
10609 |
simpdata.ML
|
file |
revisions |
annotate
|