--- a/src/Provers/README Sun May 22 16:51:06 2005 +0200
+++ b/src/Provers/README Sun May 22 16:51:07 2005 +0200
@@ -14,9 +14,8 @@
linorder.ML transitivity reasoner for linear (total) orders
quantifier1.ML simplification procedures for "1 point rules"
simp.ML powerful but slow simplifier
- simplifier.ML fast simplifier
split_paired_all.ML turn surjective pairing into split rule
- splitter.ML performs case splits for simplifier.ML
+ splitter.ML performs case splits for simplifier
typedsimp.ML basic simplifier for explicitly typed logics
directory Arith: