| Thu, 12 Oct 2000 12:16:58 +0200 | paulson | tidied | file | diff | annotate |
| Wed, 30 Aug 2000 16:29:21 +0200 | nipkow | introduced induct_thm_tac | file | diff | annotate |
| Wed, 30 Aug 2000 10:21:19 +0200 | nipkow | Fixed rulify. | 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 |