src/HOL/MiniML/Maybe.thy
Fri, 08 Dec 1995 19:48:15 +0100 nipkow Introduced Monad syntax Pat := Val; Cont
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