/src/Provers/
drwxr-xr-x [up]
drwxr-xr-x Arith
-rw-r--r-- 2004-08-04 11:25 +0200 1492 README
-rw-r--r-- 2004-08-04 11:25 +0200 48632 blast.ML
-rw-r--r-- 2004-08-04 11:25 +0200 12449 clasimp.ML
-rw-r--r-- 2004-08-04 11:25 +0200 41040 classical.ML
-rw-r--r-- 2004-08-04 11:25 +0200 9723 hypsubst.ML
-rw-r--r-- 2004-08-04 11:25 +0200 1781 ind.ML
-rw-r--r-- 2004-08-04 11:25 +0200 10817 induct_method.ML
-rw-r--r-- 2004-08-04 11:25 +0200 1567 make_elim.ML
-rw-r--r-- 2004-08-04 11:25 +0200 47312 order.ML
-rw-r--r-- 2004-08-04 11:25 +0200 6204 quantifier1.ML
-rw-r--r-- 2004-08-04 11:25 +0200 26278 quasi.ML
-rw-r--r-- 2004-08-04 11:25 +0200 22568 simp.ML
-rw-r--r-- 2004-08-04 11:25 +0200 18560 simplifier.ML
-rw-r--r-- 2004-08-04 11:25 +0200 17518 splitter.ML
-rw-r--r-- 2004-08-04 11:25 +0200 21462 trancl.ML
-rw-r--r-- 2004-08-04 11:25 +0200 4403 typedsimp.ML