/src/FOLP/
drwxr-xr-x [up]
drwxr-xr-x ex
-rw-r--r-- 2007-07-31 19:40 +0200 2238 FOLP.thy
-rw-r--r-- 2007-07-31 19:40 +0200 2151 FOLP_lemmas.ML
-rw-r--r-- 2007-07-31 19:40 +0200 11962 IFOLP.ML
-rw-r--r-- 2007-07-31 19:40 +0200 4618 IFOLP.thy
-rw-r--r-- 2007-07-31 19:40 +0200 796 IsaMakefile
-rw-r--r-- 2007-07-31 19:40 +0200 428 ROOT.ML
-rw-r--r-- 2007-07-31 19:40 +0200 6327 classical.ML
-rw-r--r-- 2007-07-31 19:40 +0200 3316 hypsubst.ML
-rw-r--r-- 2007-07-31 19:40 +0200 2527 intprover.ML
-rw-r--r-- 2007-07-31 19:40 +0200 21993 simp.ML
-rw-r--r-- 2007-07-31 19:40 +0200 4361 simpdata.ML