# HG changeset patch
# User paulson
# Date 958137718 -7200
# Node ID e900a58cafe453fe7341333c5b2500490c181784
# Parent  9ba7ef8a765ba0d261dd488ba527cf0f6768f0f2
updated

diff -r 9ba7ef8a765b -r e900a58cafe4 src/Provers/README
--- a/src/Provers/README	Fri May 12 15:20:46 2000 +0200
+++ b/src/Provers/README	Fri May 12 15:21:58 2000 +0200
@@ -18,6 +18,10 @@
   typedsimp.ML          basic simplifier for explicitly typed logics
 
 directory Arith:
+  abel_cancel.ML	cancel complementary terms in sums of Abelian groups
+  assoc_fold.ML		fold numerals in nested products
+  cancel_numerals.ML	cancel common coefficients in balanced expressions
   cancel_factor.ML	cancel common constant factor
   cancel_sums.ML	cancel common summands
-  nat_transitive.ML	simple package for inequalities over nat
+  combine_numerals.ML	combine coefficients in expressions
+  fast_lin_arith.ML	generic linear arithmetic package