src/Provers/README

--- a/src/Provers/README	Wed Nov 27 17:25:41 2002 +0100
+++ b/src/Provers/README	Thu Nov 28 10:50:42 2002 +0100
@@ -16,6 +16,7 @@
   simplifier.ML         fast simplifier
   split_paired_all.ML	turn surjective pairing into split rule
   splitter.ML           performs case splits for simplifier.ML
+  trans.ML              transitivity reasoner for linear (total) orders
   typedsimp.ML          basic simplifier for explicitly typed logics
 
 directory Arith: