src/Pure/subgoal.ML
Thu, 30 Nov 2006 14:17:29 +0100 wenzelm qualified MetaSimplifier.norm_hhf(_protect);
Mon, 18 Sep 2006 19:39:07 +0200 wenzelm Thm.dest_arg;
Wed, 02 Aug 2006 22:26:55 +0200 wenzelm Variable.focus_subgoal;
Thu, 27 Jul 2006 13:43:09 +0200 wenzelm tuned interfaces;
Wed, 26 Jul 2006 19:37:42 +0200 wenzelm focus: result record includes (fixed) schematic variables;
Wed, 26 Jul 2006 00:44:48 +0200 wenzelm Tactical operations depending on local subgoal structure.
less more (0) tip