/src/FOL/
drwxr-xr-x [up]
drwxr-xr-x document
drwxr-xr-x ex
-rw-r--r-- 2010-03-02 09:54 -0800 10132 FOL.thy
-rw-r--r-- 2010-03-02 09:54 -0800 21608 IFOL.thy
-rw-r--r-- 2010-03-02 09:54 -0800 1530 IsaMakefile
-rw-r--r-- 2010-03-02 09:54 -0800 900 README.html
-rw-r--r-- 2010-03-02 09:54 -0800 66 ROOT.ML
-rw-r--r-- 2010-03-02 09:54 -0800 1075 cladata.ML
-rw-r--r-- 2010-03-02 09:54 -0800 2734 fologic.ML
-rw-r--r-- 2010-03-02 09:54 -0800 683 hypsubstdata.ML
-rw-r--r-- 2010-03-02 09:54 -0800 3499 intprover.ML
-rw-r--r-- 2010-03-02 09:54 -0800 5413 simpdata.ML