/src/FOL/
drwxr-xr-x [up]
drwxr-xr-x document
drwxr-xr-x ex
-rw-r--r-- 2006-11-21 18:07 +0100 86 FOL.ML
-rw-r--r-- 2006-11-21 18:07 +0100 3448 FOL.thy
-rw-r--r-- 2006-11-21 18:07 +0100 2671 FOL_lemmas1.ML
-rw-r--r-- 2006-11-21 18:07 +0100 551 IFOL.ML
-rw-r--r-- 2006-11-21 18:07 +0100 7394 IFOL.thy
-rw-r--r-- 2006-11-21 18:07 +0100 12756 IFOL_lemmas.ML
-rw-r--r-- 2006-11-21 18:07 +0100 1564 IsaMakefile
-rw-r--r-- 2006-11-21 18:07 +0100 900 README.html
-rw-r--r-- 2006-11-21 18:07 +0100 784 ROOT.ML
-rw-r--r-- 2006-11-21 18:07 +0100 556 blastdata.ML
-rw-r--r-- 2006-11-21 18:07 +0100 1469 cladata.ML
-rw-r--r-- 2006-11-21 18:07 +0100 2994 fologic.ML
-rw-r--r-- 2006-11-21 18:07 +0100 559 hypsubstdata.ML
-rw-r--r-- 2006-11-21 18:07 +0100 3282 intprover.ML
-rw-r--r-- 2006-11-21 18:07 +0100 12103 simpdata.ML