--- 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