| Wed, 06 Mar 1996 14:19:39 +0100 | clasohm | added constdefs section | 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 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 |