| Thu, 26 Sep 1996 12:47:47 +0200 | paulson | Ran expandshort | file | diff | annotate |
| Fri, 10 May 1996 17:03:17 +0200 | paulson | Updated for new form of induction rules | file | diff | annotate |
| Wed, 28 Feb 1996 16:57:14 +0100 | nipkow | modified priorities in syntax | file | diff | annotate |
| Tue, 27 Feb 1996 18:22:47 +0100 | nipkow | used qed_spec_mp. | file | diff | annotate |
| Wed, 25 Oct 1995 09:46:46 +0100 | nipkow | New theory: type inference for let-free MiniML | file | diff | annotate |