| Mon, 16 Mar 2009 23:36:55 +0100 | wenzelm | provide Simplifier.norm_hhf(_protect) as regular simplifier operation; | file | diff | annotate |
| Wed, 21 Jan 2009 23:21:44 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Tue, 03 Apr 2007 19:24:13 +0200 | wenzelm | renamed Variable.import to import_thms (avoid clash with Alice keywords); | file | diff | annotate |
| Thu, 30 Nov 2006 14:17:29 +0100 | wenzelm | qualified MetaSimplifier.norm_hhf(_protect); | file | diff | annotate |
| Mon, 18 Sep 2006 19:39:07 +0200 | wenzelm | Thm.dest_arg; | file | diff | annotate |
| Wed, 02 Aug 2006 22:26:55 +0200 | wenzelm | Variable.focus_subgoal; | file | diff | annotate |
| Thu, 27 Jul 2006 13:43:09 +0200 | wenzelm | tuned interfaces; | file | diff | annotate |
| Wed, 26 Jul 2006 19:37:42 +0200 | wenzelm | focus: result record includes (fixed) schematic variables; | file | diff | annotate |
| Wed, 26 Jul 2006 00:44:48 +0200 | wenzelm | Tactical operations depending on local subgoal structure. | file | diff | annotate |