src/HOL/nat_simprocs.ML
2008-07-18 haftmann 2008-07-18 moved op dvd to theory Ring_and_Field; generalized a couple of lemmas
2008-01-15 haftmann 2008-01-15 joined theories IntDef, Numeral, IntArith to theory Int
2007-11-28 haftmann 2007-11-28 dropped legacy ml bindings
2007-09-18 wenzelm 2007-09-18 simplified type int (eliminated IntInf.int, integer);
2007-08-26 nipkow 2007-08-26 tuned linear arith (once again) with ring_distribs
2007-07-31 wenzelm 2007-07-31 tuned LinArith setup;
2007-07-24 nipkow 2007-07-24 Added cancel simprocs for dvd on nat and int
2007-07-20 haftmann 2007-07-20 moved class ord from Orderings.thy to HOL.thy
2007-06-21 huffman 2007-06-21 add thm antiquotations
2007-05-31 wenzelm 2007-05-31 moved Integ files to canonical place;