src/Provers/README
changeset 16019 0e1405402d53
parent 13736 6ea0e7c43c4f
child 30159 7b55b6b5c0c2
--- 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: