src/HOLCF/IOA/ABP/Correctness.ML
1997-12-24 ago New Auto_tac (by Oheimb), and new syntax (without parens), and expandshort
1997-12-16 ago expandshort;
1997-11-03 ago isatool fixclasimp;
1997-11-03 ago expand_list_case -> split_list_case
1997-10-24 ago Deleted very odd Delsimps[Collect_False_empty] which made proofs fail!
1997-10-10 ago fixed dots;
1997-07-17 ago changes neede for introducing fairness
1997-06-13 ago changed compatible definition;
1997-04-30 ago Old ABP files now running under the IOA meta theory based on HOLCF;