src/Provers/Arith/cancel_sums.ML
2010-02-27 wenzelm 2010-02-27 modernized structure Term_Ord;
2008-12-31 wenzelm 2008-12-31 moved term order operations to structure TermOrd (cf. Pure/term_ord.ML); tuned signature of structure Term;
2006-07-08 wenzelm 2006-07-08 simprocs: no theory argument -- use simpset context instead;
2005-09-23 wenzelm 2005-09-23 Simplifier.inherit_bounds;
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2004-07-08 wenzelm 2004-07-08 adapted type of simprocs;
1997-12-19 wenzelm 1997-12-19 adapted to new sort function;
1997-12-02 wenzelm 1997-12-02 adapted to new term order;
1997-11-26 wenzelm 1997-11-26 Cancel common summands of balanced expressions.