/src/Provers/
drwxr-xr-x [up]
drwxr-xr-x Arith
-rw-r--r-- 2001-11-15 18:20 +0100 1429 README
-rw-r--r-- 2001-11-15 18:20 +0100 48819 blast.ML
-rw-r--r-- 2001-11-15 18:20 +0100 11332 clasimp.ML
-rw-r--r-- 2001-11-15 18:20 +0100 45365 classical.ML
-rw-r--r-- 2001-11-15 18:20 +0100 11051 hypsubst.ML
-rw-r--r-- 2001-11-15 18:20 +0100 1784 ind.ML
-rw-r--r-- 2001-11-15 18:20 +0100 10809 induct_method.ML
-rw-r--r-- 2001-11-15 18:20 +0100 1430 make_elim.ML
-rw-r--r-- 2001-11-15 18:20 +0100 4895 quantifier1.ML
-rw-r--r-- 2001-11-15 18:20 +0100 22524 simp.ML
-rw-r--r-- 2001-11-15 18:20 +0100 21994 simplifier.ML
-rw-r--r-- 2001-11-15 18:20 +0100 16197 splitter.ML
-rw-r--r-- 2001-11-15 18:20 +0100 4403 typedsimp.ML