src/HOL/MiniML/Generalize.ML
1998-09-21 oheimb 1998-09-21 improved indentation
1998-07-24 berghofe 1998-07-24 Adapted to new datatype package.
1998-07-03 nipkow 1998-07-03 Removed leading !! in goals.
1998-06-22 wenzelm 1998-06-22 isatool fixgoal;
1998-03-07 nipkow 1998-03-07 Removed `addsplits [expand_if]'
1998-03-06 nipkow 1998-03-06 expand_if is now by default part of the simpset.
1997-11-05 paulson 1997-11-05 Ran expandshort, especially to introduce Safe_tac
1997-11-03 wenzelm 1997-11-03 isatool fixclasimp;
1997-10-17 nipkow 1997-10-17 setloop split_tac -> addsplits
1997-04-23 paulson 1997-04-23 Ran expandshort
1997-01-17 nipkow 1997-01-17 The new version of MiniML including "let".