/src/FOLP/
drwxr-xr-x [up]
drwxr-xr-x ex
-rw-r--r-- 2006-12-04 20:40 +0100 2270 FOLP.thy
-rw-r--r-- 2006-12-04 20:40 +0100 2151 FOLP_lemmas.ML
-rw-r--r-- 2006-12-04 20:40 +0100 11962 IFOLP.ML
-rw-r--r-- 2006-12-04 20:40 +0100 4618 IFOLP.thy
-rw-r--r-- 2006-12-04 20:40 +0100 796 IsaMakefile
-rw-r--r-- 2006-12-04 20:40 +0100 428 ROOT.ML
-rw-r--r-- 2006-12-04 20:40 +0100 6327 classical.ML
-rw-r--r-- 2006-12-04 20:40 +0100 3316 hypsubst.ML
-rw-r--r-- 2006-12-04 20:40 +0100 2527 intprover.ML
-rw-r--r-- 2006-12-04 20:40 +0100 22480 simp.ML
-rw-r--r-- 2006-12-04 20:40 +0100 4361 simpdata.ML