src/HOL/Gfp.ML
Wed, 27 Aug 2003 18:13:59 +0200 skalberg Converted to new style theories.
Thu, 31 May 2001 16:17:28 +0200 oheimb added weak_coinduct_image
Wed, 11 Oct 2000 09:09:06 +0200 nipkow *** empty log message ***
Sat, 23 Sep 2000 16:12:07 +0200 paulson tidied, removing obsolete "goal" commands
Mon, 24 Jul 2000 23:51:46 +0200 wenzelm avoid referencing thy value;
Thu, 13 Aug 1998 18:14:26 +0200 paulson even more tidying of Goal commands
Wed, 15 Jul 1998 14:19:02 +0200 paulson More tidying and removal of "\!\!... from Goal commands
Mon, 22 Jun 1998 17:26:46 +0200 wenzelm isatool fixgoal;
Fri, 10 Oct 1997 19:02:28 +0200 wenzelm fixed dots;
Thu, 26 Sep 1996 16:38:02 +0200 paulson Ran expandshort; used stac instead of ssubst
Tue, 30 Jan 1996 15:24:36 +0100 clasohm expanded tabs
Fri, 03 Mar 1995 12:02:25 +0100 clasohm new version of HOL with curried function application
less more (0) tip