Tue, 30 May 2000 16:08:38 +0200 | wenzelm | cleaned up; | file | diff | annotate |
Thu, 11 Mar 1999 13:20:35 +0100 | wenzelm | removed foo_build_completed -- now handled by session management (via usedir); | 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 |
Tue, 20 Aug 1996 12:32:16 +0200 | paulson | Some tidying. This brittle proof depends upon | file | diff | annotate |
Tue, 21 Nov 1995 12:43:09 +0100 | clasohm | removed make_chart; | file | diff | annotate |
Wed, 25 Oct 1995 09:46:46 +0100 | nipkow | New theory: type inference for let-free MiniML | file | diff | annotate |