diff -r 3e4e077af2e7 -r 0e1405402d53 src/Provers/README
--- 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: