src/Provers/Arith/cancel_div_mod.ML
2019-01-04 wenzelm isabelle update -u control_cartouches;
2017-10-08 haftmann generalized simproc
2015-03-04 wenzelm tuned signature -- prefer qualified names;
2013-04-18 wenzelm simplifier uses proper Proof.context instead of historic type simpset;
2011-06-29 wenzelm modernized some simproc setup;
2010-05-05 haftmann farewell to old-style mem infixes -- type inference in situations with mem_int and mem_string should provide enough information to resolve the type of (op =)
2010-02-19 haftmann moved remaning class operations from Algebras.thy to Groups.thy
2010-01-28 haftmann new theory Algebras.thy for generic algebraic structures
2009-10-21 haftmann curried inter as canonical list operation (beware of argument order)
2009-10-21 haftmann removed old-style \ and \\ infixes
2009-10-21 haftmann dropped redundant gen_ prefix
2009-10-20 haftmann replaced old_style infixes eq_set, subset, union, inter and variants by generic versions
2009-04-16 haftmann whitespace tuning
2007-05-17 haftmann canonical prefixing of class constants
2006-07-08 wenzelm simprocs: no theory argument -- use simpset context instead;
2006-03-10 haftmann renamed HOL + - * etc. to HOL.plus HOL.minus HOL.times etc.
2005-09-23 wenzelm Simplifier.inherit_bounds;
2005-02-13 skalberg Deleted Library.option type.
2004-07-08 wenzelm adapted type of simprocs;
2002-08-23 nipkow for cancelling div + mod.
less more (0) tip