src/HOL/Integ/IntDiv.thy
Fri, 15 Nov 2002 18:02:25 +0100 nipkow added zdvd_iff_zmod_eq_0
Mon, 30 Sep 2002 16:14:02 +0200 berghofe Adapted to new simplifier.
Tue, 27 Aug 2002 11:03:05 +0200 wenzelm *** empty log message ***
Fri, 23 Aug 2002 07:41:05 +0200 nipkow Added div+mod cancelling simproc
Mon, 01 Jul 2002 17:42:08 +0200 nipkow modified Larry's changes to make div/mod a numeral work in arith.
Sat, 29 Jun 2002 22:46:56 +0200 paulson new splitting rules for zdiv, zmod
Tue, 28 May 2002 11:06:06 +0200 paulson conversion of IntDiv.thy to Isar format
Mon, 22 Oct 2001 11:54:22 +0200 paulson Numerals now work for the integers: the binary numerals for 0 and 1 rewrite
Sat, 06 Oct 2001 00:02:46 +0200 wenzelm * sane numerals (stage 2): plain "num" syntax (removed "#");
Fri, 05 Oct 2001 21:52:39 +0200 wenzelm sane numerals (stage 1): added generic 1, removed 1' and 2 on nat,
Sun, 21 May 2000 14:49:28 +0200 wenzelm replaced {{ }} by { };
Mon, 04 Oct 1999 21:47:16 +0200 wenzelm IntArith;
Tue, 13 Jul 1999 10:45:47 +0200 paulson change to force (m div 0 = 0)
Thu, 08 Jul 1999 13:43:42 +0200 paulson Introduction of integer division algorithm
less more (0) tip