| Tue, 10 Feb 2004 12:17:04 +0100 | paulson | updated links to the old ftp site | file | diff | annotate |
| Thu, 11 May 1995 10:33:07 +0200 | lcp | show_sorts | file | diff | annotate |
| Wed, 03 May 1995 11:58:40 +0200 | lcp | Updates involving defs, addss, etc. | file | diff | annotate |
| Tue, 24 Jan 1995 03:00:32 +0100 | lcp | updates for Isabelle94-2 | file | diff | annotate |
| Fri, 13 Jan 1995 02:02:00 +0100 | lcp | empty_def typo | file | diff | annotate |
| Mon, 21 Nov 1994 10:51:40 +0100 | lcp | page 157 erratum | file | diff | annotate |
| Fri, 18 Nov 1994 13:14:23 +0100 | nipkow | Chnaged simplifier description (lhss) | file | diff | annotate |