/src/Provers/
drwxr-xr-x [up]
drwxr-xr-x Arith
-rw-r--r-- 2005-11-22 19:34 +0100 1449 README
-rw-r--r-- 2005-11-22 19:34 +0100 48612 blast.ML
-rw-r--r-- 2005-11-22 19:34 +0100 12693 clasimp.ML
-rw-r--r-- 2005-11-22 19:34 +0100 41204 classical.ML
-rw-r--r-- 2005-11-22 19:34 +0100 16675 eqsubst.ML
-rw-r--r-- 2005-11-22 19:34 +0100 9796 hypsubst.ML
-rw-r--r-- 2005-11-22 19:34 +0100 1731 ind.ML
-rw-r--r-- 2005-11-22 19:34 +0100 16460 induct_method.ML
-rw-r--r-- 2005-11-22 19:34 +0100 1566 make_elim.ML
-rw-r--r-- 2005-11-22 19:34 +0100 47369 order.ML
-rw-r--r-- 2005-11-22 19:34 +0100 6246 quantifier1.ML
-rw-r--r-- 2005-11-22 19:34 +0100 26284 quasi.ML
-rw-r--r-- 2005-11-22 19:34 +0100 17826 splitter.ML
-rw-r--r-- 2005-11-22 19:34 +0100 21468 trancl.ML
-rw-r--r-- 2005-11-22 19:34 +0100 4400 typedsimp.ML