NEWS

--- a/NEWS	Tue Aug 03 13:48:00 2004 +0200
+++ b/NEWS	Tue Aug 03 14:47:51 2004 +0200
@@ -6,6 +6,9 @@
 
 *** General ***
 
+* Provers/quasi.ML:  new transitivity reasoners for transitivity only
+  and quasi orders.
+
 * Provers/trancl.ML:  new transitivity reasoner for transitive and
   reflexive-transitive closure of relations.