| Wed, 05 Dec 2001 15:36:36 +0100 | wenzelm | adapted intr/elim uses; | file | diff | annotate |
| Mon, 12 Nov 2001 10:56:38 +0100 | paulson | new-style numerals without leading #, along with generic 0 and 1 | file | diff | annotate |
| Mon, 08 Oct 2001 14:29:02 +0200 | wenzelm | fixed numerals; | file | diff | annotate |
| Wed, 08 Aug 2001 14:50:28 +0200 | paulson | Getting it working again with 1' instead of 1 | file | diff | annotate |
| Wed, 11 Jul 2001 14:00:48 +0200 | paulson | tweaks for new version | file | diff | annotate |
| Mon, 22 Jan 2001 11:02:53 +0100 | paulson | arg_cong example; tidying to use @subgoals | file | diff | annotate |
| Fri, 12 Jan 2001 16:05:12 +0100 | paulson | general revisions | file | diff | annotate |
| Wed, 10 Jan 2001 11:09:11 +0100 | paulson | reformatting, and splitting the end of "Primes" to create "Forward" | file | diff | annotate |