src/HOLCF/Lift.ML
1997-12-24 ago New Auto_tac (by Oheimb), and new syntax (without parens), and expandshort
1997-11-03 ago isatool fixclasimp;
1997-10-10 ago fixed dots;
1997-09-09 ago moved extended adm_tac to new place
1997-09-03 ago new extended adm tactic introduced;
1997-06-23 ago Ran expandshort
1997-05-25 ago Eliminated the prediates flat,chfin