wenzelm [Mon, 16 Nov 1998 13:54:35 +0100] rev 5897
removed genelim.ML;
wenzelm [Mon, 16 Nov 1998 11:33:42 +0100] rev 5896
thm, thms;
wenzelm [Mon, 16 Nov 1998 11:33:14 +0100] rev 5895
added print_thm;
wenzelm [Mon, 16 Nov 1998 11:32:54 +0100] rev 5894
made SML/NJ happy;
wenzelm [Mon, 16 Nov 1998 11:32:28 +0100] rev 5893
added oo, ooo (*concatenation: 2 and 3 args*);
wenzelm [Mon, 16 Nov 1998 11:14:44 +0100] rev 5892
Attribute.tthms_of;
Theory.copy;
wenzelm [Mon, 16 Nov 1998 11:14:02 +0100] rev 5891
Attribute.tthms_of;
wenzelm [Mon, 16 Nov 1998 11:13:28 +0100] rev 5890
Attribute.thms_of;
wenzelm [Mon, 16 Nov 1998 11:12:59 +0100] rev 5889
Classical.setup, attrib_setup;
wenzelm [Mon, 16 Nov 1998 11:11:58 +0100] rev 5888
attrib_setup: rulify;
wenzelm [Mon, 16 Nov 1998 11:11:42 +0100] rev 5887
attrib_setup;
wenzelm [Mon, 16 Nov 1998 11:10:00 +0100] rev 5886
all modifiers turned into attributes;
realistic method syntax;
smart_simp method;
wenzelm [Mon, 16 Nov 1998 11:09:02 +0100] rev 5885
tuned attribute names;
all modifiers turned into attributes;
realistic method syntax;
wenzelm [Mon, 16 Nov 1998 11:07:12 +0100] rev 5884
several args parsers;
realistic syntax;
tuned;
wenzelm [Mon, 16 Nov 1998 11:06:31 +0100] rev 5883
tuned names;
wenzelm [Mon, 16 Nov 1998 11:06:15 +0100] rev 5882
renamed tac / etac to refine / then_refine;
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;
wenzelm [Mon, 16 Nov 1998 11:04:35 +0100] rev 5880
add print_theorems;
print_thms: handle attributes;
wenzelm [Mon, 16 Nov 1998 11:03:35 +0100] rev 5879
several args parsers;
realistic syntax;
attributes: transfer, RS, APP, where, standard, elimify;
wenzelm [Mon, 16 Nov 1998 11:02:07 +0100] rev 5878
several args parsers;
include positions;
misc tuning;
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;
wenzelm [Mon, 16 Nov 1998 10:58:18 +0100] rev 5876
replaced is_symid by is_sid;
wenzelm [Mon, 16 Nov 1998 10:46:06 +0100] rev 5875
renamed init_context to init;
wenzelm [Mon, 16 Nov 1998 10:45:52 +0100] rev 5874
renamed init_context to init;
added read_termTs;
added declare_thm;
wenzelm [Mon, 16 Nov 1998 10:44:55 +0100] rev 5873
structure PureIsar;
wenzelm [Mon, 16 Nov 1998 10:44:30 +0100] rev 5872
removed lift_modifier;
removed fail;
added tthms_of;
added print_tthm;
tuned rule;
wenzelm [Mon, 16 Nov 1998 10:42:40 +0100] rev 5871
Attribute.thms_of;
wenzelm [Mon, 16 Nov 1998 10:41:27 +0100] rev 5870
Scan.read;
wenzelm [Mon, 16 Nov 1998 10:41:08 +0100] rev 5869
added read;
wenzelm [Mon, 16 Nov 1998 10:40:23 +0100] rev 5868
tuned usage of read;