| Fri, 17 Oct 1997 15:25:12 +0200 | nipkow | setloop split_tac -> addsplits | file | diff | annotate |
| Mon, 29 Sep 1997 11:37:02 +0200 | paulson | Step_tac -> Safe_tac | file | diff | annotate |
| 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 |