| Fri, 04 Jul 1997 12:31:20 +0200 | paulson | Simplified the new proofs about division | file | diff | annotate |
| Wed, 02 Jul 1997 11:59:10 +0200 | nipkow | Added the following lemmas tp Divides and a few others to Arith and NatDef: | file | diff | annotate |
| 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 |