Wed, 23 Apr 1997 11:02:19 +0200 | paulson | Ran expandshort | file | diff | annotate |
Tue, 22 Apr 1997 11:45:22 +0200 | paulson | Ran expandshort | file | diff | annotate |
Fri, 17 Jan 1997 18:50:04 +0100 | nipkow | The new version of MiniML including "let". | file | diff | annotate |
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 |