src/HOL/MiniML/Maybe.ML
1998-07-24 berghofe 1998-07-24 Adapted to new datatype package.
1998-06-22 wenzelm 1998-06-22 isatool fixgoal;
1997-12-16 wenzelm 1997-12-16 expandshort;
1997-11-03 wenzelm 1997-11-03 isatool fixclasimp;
1997-11-03 nipkow 1997-11-03 expand_option_bind -> split_option_bind
1997-10-17 nipkow 1997-10-17 setloop split_tac -> addsplits
1997-02-14 narasche 1997-02-14 Some lemmas changed to valuesd
1997-01-17 nipkow 1997-01-17 The new version of MiniML including "let".
1996-10-07 paulson 1996-10-07 Tidied up some proofs
1996-09-26 paulson 1996-09-26 Ran expandshort
1996-05-22 nipkow 1996-05-22 Added the second half of the W/I correspondence.
1996-05-20 nipkow 1996-05-20 Added thm I_complete_wrt_W to I. Added a few lemmas to Maybe and Type.
1995-10-25 nipkow 1995-10-25 New theory: type inference for let-free MiniML