src/HOL/MiniML/MiniML.ML
1997-01-17 nipkow 1997-01-17 The new version of MiniML including "let".
1996-09-26 paulson 1996-09-26 Ran expandshort
1996-05-10 paulson 1996-05-10 Updated for new form of induction rules
1996-02-28 nipkow 1996-02-28 modified priorities in syntax
1996-02-27 nipkow 1996-02-27 used qed_spec_mp.
1995-10-25 nipkow 1995-10-25 New theory: type inference for let-free MiniML