/src/Provers/
drwxr-xr-x [up]
drwxr-xr-x Arith
-rw-r--r-- 2005-07-12 18:26 +0200 1449 README
-rw-r--r-- 2005-07-12 18:26 +0200 49075 blast.ML
-rw-r--r-- 2005-07-12 18:26 +0200 12483 clasimp.ML
-rw-r--r-- 2005-07-12 18:26 +0200 44372 classical.ML
-rw-r--r-- 2005-07-12 18:26 +0200 17502 eqsubst.ML
-rw-r--r-- 2005-07-12 18:26 +0200 9820 hypsubst.ML
-rw-r--r-- 2005-07-12 18:26 +0200 1731 ind.ML
-rw-r--r-- 2005-07-12 18:26 +0200 12217 induct_method.ML
-rw-r--r-- 2005-07-12 18:26 +0200 1566 make_elim.ML
-rw-r--r-- 2005-07-12 18:26 +0200 47369 order.ML
-rw-r--r-- 2005-07-12 18:26 +0200 6204 quantifier1.ML
-rw-r--r-- 2005-07-12 18:26 +0200 26284 quasi.ML
-rw-r--r-- 2005-07-12 18:26 +0200 17611 splitter.ML
-rw-r--r-- 2005-07-12 18:26 +0200 21468 trancl.ML
-rw-r--r-- 2005-07-12 18:26 +0200 4400 typedsimp.ML