/src/Provers/
drwxr-xr-x [up]
drwxr-xr-x Arith
drwxr-xr-x IsaPlanner
-rw-r--r-- 2006-07-26 00:44 +0200 1449 README
-rw-r--r-- 2006-07-26 00:44 +0200 55045 blast.ML
-rw-r--r-- 2006-07-26 00:44 +0200 11888 clasimp.ML
-rw-r--r-- 2006-07-26 00:44 +0200 41153 classical.ML
-rw-r--r-- 2006-07-26 00:44 +0200 20447 eqsubst.ML
-rw-r--r-- 2006-07-26 00:44 +0200 9792 hypsubst.ML
-rw-r--r-- 2006-07-26 00:44 +0200 1743 ind.ML
-rw-r--r-- 2006-07-26 00:44 +0200 18237 induct_method.ML
-rw-r--r-- 2006-07-26 00:44 +0200 47367 order.ML
-rw-r--r-- 2006-07-26 00:44 +0200 1596 project_rule.ML
-rw-r--r-- 2006-07-26 00:44 +0200 6270 quantifier1.ML
-rw-r--r-- 2006-07-26 00:44 +0200 26282 quasi.ML
-rw-r--r-- 2006-07-26 00:44 +0200 17468 splitter.ML
-rw-r--r-- 2006-07-26 00:44 +0200 21468 trancl.ML
-rw-r--r-- 2006-07-26 00:44 +0200 4400 typedsimp.ML