src/Pure/subgoal.ML
2009-01-21 wenzelm 2009-01-21 removed Ids;
2007-04-03 wenzelm 2007-04-03 renamed Variable.import to import_thms (avoid clash with Alice keywords);
2006-11-30 wenzelm 2006-11-30 qualified MetaSimplifier.norm_hhf(_protect);
2006-09-18 wenzelm 2006-09-18 Thm.dest_arg;
2006-08-02 wenzelm 2006-08-02 Variable.focus_subgoal;
2006-07-27 wenzelm 2006-07-27 tuned interfaces; moved basic assumption operations from structure ProofContext to Assumption;
2006-07-26 wenzelm 2006-07-26 focus: result record includes (fixed) schematic variables; SUBGOAL: disallow pending subgoals, more robust re-composition;
2006-07-26 wenzelm 2006-07-26 Tactical operations depending on local subgoal structure.