src/HOL/Gfp.ML
2003-08-27 skalberg 2003-08-27 Converted to new style theories.
2001-05-31 oheimb 2001-05-31 added weak_coinduct_image
2000-10-11 nipkow 2000-10-11 *** empty log message ***
2000-09-23 paulson 2000-09-23 tidied, removing obsolete "goal" commands
2000-07-24 wenzelm 2000-07-24 avoid referencing thy value;
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