| Fri, 05 Jan 2001 14:28:10 +0100 | nipkow | Changed priority of dvd from 70 to 50 as befits a relation. | file | diff | annotate |
| Wed, 13 Dec 2000 10:31:46 +0100 | paulson | tidying and replacement of "integer" rules by "order" ones | file | diff | annotate |
| Wed, 30 Aug 2000 16:29:21 +0200 | nipkow | introduced induct_thm_tac | 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 |