/src/Provers/
drwxr-xr-x [up]
drwxr-xr-x Arith
-rw-r--r-- 2002-05-17 11:25 +0200 1429 README
-rw-r--r-- 2002-05-17 11:25 +0200 48779 blast.ML
-rw-r--r-- 2002-05-17 11:25 +0200 12157 clasimp.ML
-rw-r--r-- 2002-05-17 11:25 +0200 38581 classical.ML
-rw-r--r-- 2002-05-17 11:25 +0200 10704 hypsubst.ML
-rw-r--r-- 2002-05-17 11:25 +0200 1784 ind.ML
-rw-r--r-- 2002-05-17 11:25 +0200 10825 induct_method.ML
-rw-r--r-- 2002-05-17 11:25 +0200 1567 make_elim.ML
-rw-r--r-- 2002-05-17 11:25 +0200 6389 quantifier1.ML
-rw-r--r-- 2002-05-17 11:25 +0200 22579 simp.ML
-rw-r--r-- 2002-05-17 11:25 +0200 21982 simplifier.ML
-rw-r--r-- 2002-05-17 11:25 +0200 17346 splitter.ML
-rw-r--r-- 2002-05-17 11:25 +0200 4403 typedsimp.ML