src/Pure/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