| Tue, 19 Dec 2000 15:14:36 +0100 | paulson | cancel-factor simproc allows shorter proofs | file | diff | annotate |
| Wed, 13 Dec 2000 10:31:46 +0100 | paulson | tidying and replacement of "integer" rules by "order" ones | file | diff | annotate |
| Thu, 12 Oct 2000 12:16:58 +0200 | paulson | tidied | file | diff | annotate |
| Tue, 03 Oct 2000 18:57:11 +0200 | wenzelm | unsymbolized; | file | diff | annotate |
| Fri, 15 Sep 2000 12:39:57 +0200 | paulson | renamed (most of...) the select rules | file | diff | annotate |
| Wed, 13 Sep 2000 18:46:09 +0200 | paulson | zgcd now works for negative integers | file | diff | annotate |
| Wed, 30 Aug 2000 16:29:21 +0200 | nipkow | introduced induct_thm_tac | file | diff | annotate |
| Thu, 17 Aug 2000 11:56:47 +0200 | paulson | modified proofs: better rules for cancellation of common factors across comparisons | file | diff | annotate |
| Thu, 03 Aug 2000 10:46:01 +0200 | paulson | Chinese Remainder Theorem, Wilsons Theorem, etc., by T M Masmussen | file | diff | annotate |