/src/Provers/
drwxr-xr-x [up]
drwxr-xr-x Arith
-rw-r--r-- 2002-08-27 11:04 +0200 1429 README
-rw-r--r-- 2002-08-27 11:04 +0200 48779 blast.ML
-rw-r--r-- 2002-08-27 11:04 +0200 12157 clasimp.ML
-rw-r--r-- 2002-08-27 11:04 +0200 38591 classical.ML
-rw-r--r-- 2002-08-27 11:04 +0200 10704 hypsubst.ML
-rw-r--r-- 2002-08-27 11:04 +0200 1784 ind.ML
-rw-r--r-- 2002-08-27 11:04 +0200 10864 induct_method.ML
-rw-r--r-- 2002-08-27 11:04 +0200 1567 make_elim.ML
-rw-r--r-- 2002-08-27 11:04 +0200 6208 quantifier1.ML
-rw-r--r-- 2002-08-27 11:04 +0200 22579 simp.ML
-rw-r--r-- 2002-08-27 11:04 +0200 22371 simplifier.ML
-rw-r--r-- 2002-08-27 11:04 +0200 17346 splitter.ML
-rw-r--r-- 2002-08-27 11:04 +0200 4403 typedsimp.ML