src/HOL/MiniML/Type.ML
1997-01-17 nipkow 1997-01-17 The new version of MiniML including "let".
1997-01-17 paulson 1997-01-17 New miniscoping rules for the bounded quantifiers and UN/INT operators
1996-09-26 paulson 1996-09-26 Ran expandshort
1996-08-08 berghofe 1996-08-08 Removed unnecessary Addsimps.
1996-05-20 nipkow 1996-05-20 Added thm I_complete_wrt_W to I. Added a few lemmas to Maybe and Type.
1996-03-27 paulson 1996-03-27 Now use _irrefl instead of _anti_refl
1996-02-27 nipkow 1996-02-27 used qed_spec_mp.
1996-01-30 clasohm 1996-01-30 expanded tabs
1995-12-08 nipkow 1995-12-08 Introduced Monad syntax Pat := Val; Cont
1995-10-25 nipkow 1995-10-25 New theory: type inference for let-free MiniML