src/HOL/Gfp.ML
1998-08-13 paulson 1998-08-13 even more tidying of Goal commands
1998-07-15 paulson 1998-07-15 More tidying and removal of "\!\!... from Goal commands
1998-06-22 wenzelm 1998-06-22 isatool fixgoal;
1997-10-10 wenzelm 1997-10-10 fixed dots;
1996-09-26 paulson 1996-09-26 Ran expandshort; used stac instead of ssubst
1996-01-30 clasohm 1996-01-30 expanded tabs
1995-03-03 clasohm 1995-03-03 new version of HOL with curried function application