| Wed, 24 Mar 2004 10:50:29 +0100 | paulson | streamlined treatment of quotients for the integers | file | diff | annotate |
| Sun, 15 Feb 2004 10:46:37 +0100 | paulson | Polymorphic treatment of binary arithmetic using axclasses | file | diff | annotate |
| Fri, 23 Aug 2002 07:41:05 +0200 | nipkow | Added div+mod cancelling simproc | file | diff | annotate |