Mon, 25 Mar 1996 08:46:02 +0100 | nipkow | replaced "rules" by "primrec" | file | diff | annotate |
Wed, 13 Mar 1996 11:56:15 +0100 | clasohm | replaced rules by primrec section | file | diff | annotate |
Wed, 06 Mar 1996 14:19:39 +0100 | clasohm | added constdefs section | file | diff | annotate |
Mon, 05 Feb 1996 21:29:06 +0100 | clasohm | expanded tabs; incorporated Konrad's changes | file | diff | annotate |
Fri, 08 Dec 1995 19:48:15 +0100 | nipkow | Introduced Monad syntax Pat := Val; Cont | file | diff | annotate |
Fri, 01 Dec 1995 14:17:50 +0100 | clasohm | removed quotes from types section | file | diff | annotate |
Fri, 01 Dec 1995 12:03:13 +0100 | clasohm | removed quotes from consts and syntax sections | file | diff | annotate |
Wed, 25 Oct 1995 09:46:46 +0100 | nipkow | New theory: type inference for let-free MiniML | file | diff | annotate |