| Fri, 18 Jan 2002 18:30:19 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 18 Dec 2001 16:44:00 +0100 | paulson | minor suggestions from Markus | file | diff | annotate |
| Tue, 18 Dec 2001 14:27:57 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 06 Dec 2001 13:01:07 +0100 | paulson | intro and elim now require arguments | file | diff | annotate |
| Fri, 30 Nov 2001 12:18:14 +0100 | paulson | minor tweaks | 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 |
| Thu, 09 Aug 2001 18:12:15 +0200 | paulson | revisions and indexing | file | diff | annotate |