src/HOL/MiniML/Type.thy
1997-01-17 nipkow 1997-01-17 The new version of MiniML including "let".
1996-08-08 berghofe 1996-08-08 Simplified primrec definitions.
1996-03-25 nipkow 1996-03-25 replaced "rules" by "primrec"
1996-03-13 clasohm 1996-03-13 replaced rules by primrec section
1996-03-06 clasohm 1996-03-06 added constdefs section
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 types section
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