diff -r 916c75592bf6 -r 4f526bcd3a68 src/Provers/README
--- a/src/Provers/README	Tue Oct 20 11:27:06 1998 +0200
+++ b/src/Provers/README	Tue Oct 20 16:18:18 1998 +0200
@@ -14,6 +14,7 @@
   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
   typedsimp.ML          basic simplifier for explicitly typed logics