src/HOL/Divides.thy
Fri, 13 Oct 2000 08:28:21 +0200 nipkow *** empty log message ***
Thu, 12 Oct 2000 18:38:23 +0200 nipkow *** empty log message ***
Wed, 24 May 2000 18:48:22 +0200 paulson installing plus_ac0 for nat
Sun, 21 May 2000 14:49:28 +0200 wenzelm replaced {{ }} by { };
Mon, 19 Jul 1999 15:18:16 +0200 paulson new division laws taking advantage of (m div 0) = 0 and (m mod 0) = m
Thu, 01 Jul 1999 10:33:50 +0200 paulson now div and mod are overloaded; dvd is polymorphic
Fri, 30 May 1997 15:15:57 +0200 paulson Moving div and mod from Arith to Divides
less more (0) tip