src/HOL/MiniML/Instance.ML
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-10-10 wenzelm 1997-10-10 fixed dots;
1997-04-23 paulson 1997-04-23 Ran expandshort
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".