summary |
shortlog |
changelog |
graph |
tags |
bookmarks |
branches |
files |
changeset |
file |
latest |
revisions |
annotate |
diff |
comparison |
raw |
help

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