src/HOL/IOA/IOA.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-05-26 paulson 1997-05-26 Tidying using the new exhaust_tac
1997-05-22 paulson 1997-05-22 Uses option_case_tac
1997-04-30 mueller 1997-04-30 old IOA meta theory (see also new version in HOLCF/IOA/meta_theory);