src/Pure/old_goals.ML
Sat, 14 Apr 2007 17:35:52 +0200 wenzelm cleaned/simplified Sign.read_typ, Thm.read_cterm etc.;
Mon, 26 Feb 2007 23:18:24 +0100 wenzelm moved eq_thm etc. to structure Thm in Pure/more_thm.ML;
Fri, 19 Jan 2007 22:08:18 +0100 wenzelm moved inst from drule.ML to old_goals.ML;
Sat, 07 Oct 2006 01:30:58 +0200 wenzelm tuned;
Thu, 03 Aug 2006 15:03:09 +0200 wenzelm removed OldGoals.legacy flag (always warn);
Thu, 27 Jul 2006 13:43:07 +0200 wenzelm Assumption.assume;
Wed, 15 Feb 2006 21:35:04 +0100 wenzelm chop is no longer pervasive;
Sat, 14 Jan 2006 17:14:06 +0100 wenzelm sane ERROR handling;
Tue, 08 Nov 2005 10:43:11 +0100 wenzelm renamed goals.ML to old_goals.ML;
less more (0) tip