| Mon, 02 May 2005 10:56:13 +0200 | haftmann | introduced @{const ...} antiquotation | file | diff | annotate |
| Wed, 02 Feb 2005 18:06:25 +0100 | paulson | tidying of some subst/simplesubst proofs | file | diff | annotate |
| Tue, 10 Feb 2004 12:17:04 +0100 | paulson | updated links to the old ftp site | file | diff | annotate |
| Wed, 29 Jan 2003 16:29:38 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Thu, 19 Dec 2002 10:48:13 +0100 | paulson | auto-update | file | diff | annotate |
| Thu, 03 Oct 2002 09:54:54 +0200 | nipkow | *** empty log message *** | file | diff | annotate |