src/HOL/Divides.thy
2003-07-24 paulson 2003-07-24 declarations moved from PreList.thy
2003-03-25 berghofe 2003-03-25 New theorems split_div' and mod_div_equality'.
2002-08-23 nipkow 2002-08-23 Added div+mod cancelling simproc
2002-05-31 nipkow 2002-05-31 Now arith can deal with div/mod arbitrary nat numerals.
2002-05-15 nipkow 2002-05-15 Divides.ML -> Divides_lemmas.ML Converted Divides.thy to Isar.
2001-12-01 wenzelm 2001-12-01 renamed class "term" to "type" (actually "HOL.type");
2001-01-05 nipkow 2001-01-05 Changed priority of dvd from 70 to 50 as befits a relation.
2000-12-01 paulson 2000-12-01 many new div and mod properties (borrowed from Integ/IntDiv)
2000-10-13 nipkow 2000-10-13 *** empty log message ***
2000-10-12 nipkow 2000-10-12 *** empty log message ***
2000-05-24 paulson 2000-05-24 installing plus_ac0 for nat
2000-05-21 wenzelm 2000-05-21 replaced {{ }} by { };
1999-07-19 paulson 1999-07-19 new division laws taking advantage of (m div 0) = 0 and (m mod 0) = m
1999-07-01 paulson 1999-07-01 now div and mod are overloaded; dvd is polymorphic
1997-05-30 paulson 1997-05-30 Moving div and mod from Arith to Divides Moving dvd from ex/Primes to Divides