/src/Provers/
drwxr-xr-x [up]
drwxr-xr-x Arith
drwxr-xr-x IsaPlanner
-rw-r--r-- 2007-04-04 23:29 +0200 1449 README
-rw-r--r-- 2007-04-04 23:29 +0200 55187 blast.ML
-rw-r--r-- 2007-04-04 23:29 +0200 11641 clasimp.ML
-rw-r--r-- 2007-04-04 23:29 +0200 41152 classical.ML
-rw-r--r-- 2007-04-04 23:29 +0200 20311 eqsubst.ML
-rw-r--r-- 2007-04-04 23:29 +0200 9335 hypsubst.ML
-rw-r--r-- 2007-04-04 23:29 +0200 1715 ind.ML
-rw-r--r-- 2007-04-04 23:29 +0200 18288 induct_method.ML
-rw-r--r-- 2007-04-04 23:29 +0200 47373 order.ML
-rw-r--r-- 2007-04-04 23:29 +0200 1616 project_rule.ML
-rw-r--r-- 2007-04-04 23:29 +0200 6270 quantifier1.ML
-rw-r--r-- 2007-04-04 23:29 +0200 26288 quasi.ML
-rw-r--r-- 2007-04-04 23:29 +0200 19173 splitter.ML
-rw-r--r-- 2007-04-04 23:29 +0200 21756 trancl.ML
-rw-r--r-- 2007-04-04 23:29 +0200 4400 typedsimp.ML