/src/Provers/
drwxr-xr-x [up]
drwxr-xr-x Arith
drwxr-xr-x IsaPlanner
-rw-r--r-- 2007-01-04 17:11 +0100 1449 README
-rw-r--r-- 2007-01-04 17:11 +0100 55098 blast.ML
-rw-r--r-- 2007-01-04 17:11 +0100 11638 clasimp.ML
-rw-r--r-- 2007-01-04 17:11 +0100 40963 classical.ML
-rw-r--r-- 2007-01-04 17:11 +0100 20307 eqsubst.ML
-rw-r--r-- 2007-01-04 17:11 +0100 9335 hypsubst.ML
-rw-r--r-- 2007-01-04 17:11 +0100 1715 ind.ML
-rw-r--r-- 2007-01-04 17:11 +0100 18288 induct_method.ML
-rw-r--r-- 2007-01-04 17:11 +0100 47367 order.ML
-rw-r--r-- 2007-01-04 17:11 +0100 1606 project_rule.ML
-rw-r--r-- 2007-01-04 17:11 +0100 6270 quantifier1.ML
-rw-r--r-- 2007-01-04 17:11 +0100 26282 quasi.ML
-rw-r--r-- 2007-01-04 17:11 +0100 19165 splitter.ML
-rw-r--r-- 2007-01-04 17:11 +0100 21468 trancl.ML
-rw-r--r-- 2007-01-04 17:11 +0100 4400 typedsimp.ML