src/Pure/old_goals.ML
2006-10-07 wenzelm 2006-10-07 tuned;
2006-08-03 wenzelm 2006-08-03 removed OldGoals.legacy flag (always warn);
2006-07-27 wenzelm 2006-07-27 Assumption.assume;
2006-02-15 wenzelm 2006-02-15 chop is no longer pervasive; removed obsolete thms_containing;
2006-01-14 wenzelm 2006-01-14 sane ERROR handling;
2005-11-08 wenzelm 2005-11-08 renamed goals.ML to old_goals.ML; inline Drule.impose_hyps;