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 |