src/Provers/Arith/cancel_div_mod.ML
2009-10-20 haftmann 2009-10-20 replaced old_style infixes eq_set, subset, union, inter and variants by generic versions
2009-04-16 haftmann 2009-04-16 whitespace tuning
2007-05-17 haftmann 2007-05-17 canonical prefixing of class constants
2006-07-08 wenzelm 2006-07-08 simprocs: no theory argument -- use simpset context instead;
2006-03-10 haftmann 2006-03-10 renamed HOL + - * etc. to HOL.plus HOL.minus HOL.times etc.
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;
2002-08-23 nipkow 2002-08-23 for cancelling div + mod.