/src/Provers/
drwxr-xr-x [up]
drwxr-xr-x Arith
-rw-r--r-- 2000-03-15 18:38 +0100 1108 README
-rw-r--r-- 2000-03-15 18:38 +0100 48090 blast.ML
-rw-r--r-- 2000-03-15 18:38 +0100 5969 clasimp.ML
-rw-r--r-- 2000-03-15 18:38 +0100 41556 classical.ML
-rw-r--r-- 2000-03-15 18:38 +0100 9077 hypsubst.ML
-rw-r--r-- 2000-03-15 18:38 +0100 1784 ind.ML
-rw-r--r-- 2000-03-15 18:38 +0100 3678 quantifier1.ML
-rw-r--r-- 2000-03-15 18:38 +0100 22524 simp.ML
-rw-r--r-- 2000-03-15 18:38 +0100 19953 simplifier.ML
-rw-r--r-- 2000-03-15 18:38 +0100 1712 split_paired_all.ML
-rw-r--r-- 2000-03-15 18:38 +0100 15674 splitter.ML
-rw-r--r-- 2000-03-15 18:38 +0100 4403 typedsimp.ML