src/Provers/Arith/cancel_factor.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;
2007-09-18 wenzelm 2007-09-18 simplified type int (eliminated IntInf.int, integer);
2007-06-05 haftmann 2007-06-05 tuned integers
2006-07-08 wenzelm 2006-07-08 simprocs: no theory argument -- use simpset context instead;
2006-03-11 wenzelm 2006-03-11 got rid of type Sign.sg;
2005-05-16 paulson 2005-05-16 Use of IntInf.int instead of int in most numeric simprocs; avoids integer overflow in SML/NJ
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
1997-12-19 wenzelm 1997-12-19 adapted to new sort function;
1997-11-26 wenzelm 1997-11-26 Cancel common constant factor from balanced exression.