| 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 |