src/HOL/IOA/Solve.ML
1997-12-24 ago New Auto_tac (by Oheimb), and new syntax (without parens), and expandshort
1997-11-05 ago Ran expandshort, especially to introduce Safe_tac
1997-11-03 ago isatool fixclasimp;
1997-11-03 ago expand_option_case -> split_option_case
1997-10-17 ago setloop split_tac -> addsplits
1997-10-10 ago fixed dots;
1997-04-30 ago old IOA meta theory (see also new version in HOLCF/IOA/meta_theory);