Mon, 16 Nov 1998 11:10:00 +0100 all modifiers turned into attributes;
wenzelm [Mon, 16 Nov 1998 11:10:00 +0100] rev 5886
all modifiers turned into attributes; realistic method syntax; smart_simp method;
Mon, 16 Nov 1998 11:09:02 +0100 tuned attribute names;
wenzelm [Mon, 16 Nov 1998 11:09:02 +0100] rev 5885
tuned attribute names; all modifiers turned into attributes; realistic method syntax;
Mon, 16 Nov 1998 11:07:12 +0100 several args parsers;
wenzelm [Mon, 16 Nov 1998 11:07:12 +0100] rev 5884
several args parsers; realistic syntax; tuned;
Mon, 16 Nov 1998 11:06:31 +0100 tuned names;
wenzelm [Mon, 16 Nov 1998 11:06:31 +0100] rev 5883
tuned names;
Mon, 16 Nov 1998 11:06:15 +0100 renamed tac / etac to refine / then_refine;
wenzelm [Mon, 16 Nov 1998 11:06:15 +0100] rev 5882
renamed tac / etac to refine / then_refine;
Mon, 16 Nov 1998 11:05:55 +0100 add print_theorems;
wenzelm [Mon, 16 Nov 1998 11:05:55 +0100] rev 5881
add print_theorems; print_thms: handle attributes; renamed tac / etac to refine / then_refine; tuned comments; load arg: name;
Mon, 16 Nov 1998 11:04:35 +0100 add print_theorems;
wenzelm [Mon, 16 Nov 1998 11:04:35 +0100] rev 5880
add print_theorems; print_thms: handle attributes;
Mon, 16 Nov 1998 11:03:35 +0100 several args parsers;
wenzelm [Mon, 16 Nov 1998 11:03:35 +0100] rev 5879
several args parsers; realistic syntax; attributes: transfer, RS, APP, where, standard, elimify;
Mon, 16 Nov 1998 11:02:07 +0100 several args parsers;
wenzelm [Mon, 16 Nov 1998 11:02:07 +0100] rev 5878
several args parsers; include positions; misc tuning;
Mon, 16 Nov 1998 11:00:58 +0100 removed args, args1, thm_xname;
wenzelm [Mon, 16 Nov 1998 11:00:58 +0100] rev 5877
removed args, args1, thm_xname; fixed nat: Symbol.explode; name / xname: include sym_ident; keyword_symid: include ident; tuned atom_arg; support nested args;
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip