Mon, 23 Jun 1997 10:42:03 +0200 | paulson | Ran expandshort | file | diff | annotate |
Fri, 06 Jun 1997 13:28:40 +0200 | paulson | Removed a few redundant additions of simprules or classical rules | file | diff | annotate |
Fri, 30 May 1997 15:15:57 +0200 | paulson | Moving div and mod from Arith to Divides | file | diff | annotate |