/src/FOLP/
drwxr-xr-x [up]
drwxr-xr-x ex
-rw-r--r-- 2015-06-19 07:53 +0200 3767 FOLP.thy
-rw-r--r-- 2015-06-19 07:53 +0200 20105 IFOLP.thy
-rw-r--r-- 2015-06-19 07:53 +0200 773 ROOT
-rw-r--r-- 2015-06-19 07:53 +0200 6795 classical.ML
-rw-r--r-- 2015-06-19 07:53 +0200 3282 hypsubst.ML
-rw-r--r-- 2015-06-19 07:53 +0200 2895 intprover.ML
-rw-r--r-- 2015-06-19 07:53 +0200 22667 simp.ML
-rw-r--r-- 2015-06-19 07:53 +0200 2705 simpdata.ML