src/HOL/MiniML/MiniML.thy
1997-01-17 nipkow 1997-01-17 The new version of MiniML including "let".
1996-06-06 paulson 1996-06-06 Quotes now optional around inductive set
1996-02-28 nipkow 1996-02-28 modified priorities in syntax
1996-02-05 clasohm 1996-02-05 expanded tabs; incorporated Konrad's changes
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