src/Provers/README
changeset 8870 e900a58cafe4
parent 5897 b3548f939dd2
child 11840 54fe56353704
--- 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