drwxr-xr-x |
|
|
[up]
|
|
drwxr-xr-x |
|
|
ex
|
files
|
-rw-r--r-- |
1999-08-20 15:41 +0200 |
511 |
.fol.thy.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
1999-08-20 15:41 +0200 |
2680 |
.ifol.thy.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
1999-08-20 15:41 +0200 |
2775 |
FOL.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
1999-08-20 15:41 +0200 |
145 |
FOL.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
1999-08-20 15:41 +0200 |
14407 |
IFOL.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
1999-08-20 15:41 +0200 |
3149 |
IFOL.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
1999-08-20 15:41 +0200 |
1037 |
IsaMakefile
|
file |
revisions |
annotate
|
-rw-r--r-- |
1999-08-20 15:41 +0200 |
699 |
README.html
|
file |
revisions |
annotate
|
-rw-r--r-- |
1999-08-20 15:41 +0200 |
1483 |
ROOT.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
1999-08-20 15:41 +0200 |
1775 |
cladata.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
1999-08-20 15:41 +0200 |
2413 |
fol.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
1999-08-20 15:41 +0200 |
52 |
fol.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
1999-08-20 15:41 +0200 |
1527 |
fologic.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
1999-08-20 15:41 +0200 |
12879 |
ifol.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
1999-08-20 15:41 +0200 |
2108 |
ifol.thy
|
file |
revisions |
annotate
|
-rw-r--r-- |
1999-08-20 15:41 +0200 |
2498 |
int-prover.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
1999-08-20 15:41 +0200 |
3273 |
intprover.ML
|
file |
revisions |
annotate
|
-rw-r--r-- |
1999-08-20 15:41 +0200 |
11367 |
simpdata.ML
|
file |
revisions |
annotate
|