src/HOL/Tools/nat_numeral_simprocs.ML
2010-08-28 haftmann 2010-08-28 formerly unnamed infix equality now named HOL.eq
2010-06-08 haftmann 2010-06-08 tuned quotes, antiquotations and whitespace
2010-02-27 wenzelm 2010-02-27 modernized structure Term_Ord;
2010-02-19 haftmann 2010-02-19 moved remaning class operations from Algebras.thy to Groups.thy
2010-02-10 haftmann 2010-02-10 moved less_eq, less to Orderings.thy; moved abs, sgn to Groups.thy
2010-02-09 haftmann 2010-02-09 hide fact names clashing with fact names from Group.thy
2010-02-08 haftmann 2010-02-08 renamed OrderedGroup to Groups; split theory Ring_and_Field into Rings Fields
2010-01-28 haftmann 2010-01-28 new theory Algebras.thy for generic algebraic structures
2009-07-23 wenzelm 2009-07-23 more @{theory} antiquotations;
2009-07-15 wenzelm 2009-07-15 more antiquotations;
2009-06-24 nipkow 2009-06-24 corrected and unified thm names
2009-06-02 wenzelm 2009-06-02 made SML/NJ happy;
2009-05-08 haftmann 2009-05-08 modules numeral_simprocs, nat_numeral_simprocs; proper structures for numeral simprocs