| Fri, 05 Jan 2001 14:28:10 +0100 | nipkow | Changed priority of dvd from 70 to 50 as befits a relation. | file | diff | annotate |
| Fri, 01 Dec 2000 11:03:31 +0100 | paulson | many new div and mod properties (borrowed from Integ/IntDiv) | file | diff | annotate |
| Fri, 13 Oct 2000 08:28:21 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Thu, 12 Oct 2000 18:38:23 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Wed, 24 May 2000 18:48:22 +0200 | paulson | installing plus_ac0 for nat | file | diff | annotate |
| Sun, 21 May 2000 14:49:28 +0200 | wenzelm | replaced {{ }} by { }; | file | diff | annotate |
| Mon, 19 Jul 1999 15:18:16 +0200 | paulson | new division laws taking advantage of (m div 0) = 0 and (m mod 0) = m | file | diff | annotate |
| Thu, 01 Jul 1999 10:33:50 +0200 | paulson | now div and mod are overloaded; dvd is polymorphic | file | diff | annotate |
| Fri, 30 May 1997 15:15:57 +0200 | paulson | Moving div and mod from Arith to Divides | file | diff | annotate |