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