src/HOL/MiniML/Maybe.thy
1997-10-10 wenzelm 1997-10-10 fixed dots;
1997-01-17 nipkow 1997-01-17 The new version of MiniML including "let".
1996-03-06 clasohm 1996-03-06 added constdefs section
1995-12-08 nipkow 1995-12-08 Introduced Monad syntax Pat := Val; Cont
1995-12-01 clasohm 1995-12-01 removed quotes from consts and syntax sections
1995-10-25 nipkow 1995-10-25 New theory: type inference for let-free MiniML