src/Pure/subgoal.ML
2007-04-03 ago renamed Variable.import to import_thms (avoid clash with Alice keywords);
2006-11-30 ago qualified MetaSimplifier.norm_hhf(_protect);
2006-09-18 ago Thm.dest_arg;
2006-08-02 ago Variable.focus_subgoal;
2006-07-27 ago tuned interfaces;
2006-07-26 ago focus: result record includes (fixed) schematic variables;
2006-07-26 ago Tactical operations depending on local subgoal structure.