src/Pure/Isar/attrib.ML
2000-09-12 wenzelm 2000-09-12 renamed atts: rulify to rule_format, elimify to elim_format;
2000-09-07 wenzelm 2000-09-07 improved att names / msgs;
2000-08-17 wenzelm 2000-08-17 renamed 'RS' to 'THEN';
2000-07-01 wenzelm 2000-07-01 removed help_attributes;
2000-05-31 wenzelm 2000-05-31 removed 'transfer' att (is now automatic);
2000-05-05 wenzelm 2000-05-05 GPLed;
2000-04-17 wenzelm 2000-04-17 Pretty.chunks;
2000-04-12 wenzelm 2000-04-12 Args.name_dummy;
2000-03-31 wenzelm 2000-03-31 added add_del_args;
2000-03-17 wenzelm 2000-03-17 untag: remove all tags of given name;
2000-03-08 wenzelm 2000-03-08 added 'case_names' and 'params';
2000-02-22 wenzelm 2000-02-22 tuned syntax wrapper;
2000-01-28 wenzelm 2000-01-28 Drule.instantiate;
1999-10-01 wenzelm 1999-10-01 added undef_global_attribute, undef_local_attribute;
1999-09-30 wenzelm 1999-09-30 removed ProofContext.declare_thm;
1999-09-26 wenzelm 1999-09-26 help: unkown theory context;
1999-09-25 wenzelm 1999-09-25 unfold / fold defs;
1999-08-26 wenzelm 1999-08-26 print_help;
1999-07-09 wenzelm 1999-07-09 COMP: optional position;
1999-07-08 wenzelm 1999-07-08 'export';
1999-07-01 wenzelm 1999-07-01 renamed with/APP to of/OF;
1999-06-28 wenzelm 1999-06-28 cond_extern_table;
1999-06-04 wenzelm 1999-06-04 added COMP attribute;
1999-04-30 wenzelm 1999-04-30 theory data: copy;
1999-04-16 wenzelm 1999-04-16 and_list;
1999-01-12 wenzelm 1999-01-12 eliminated tthm type and Attribute structure;
1998-11-17 wenzelm 1998-11-17 exception ATTRIB_FAIL; local_attribute'; removed 'lemma', 'assumption'; added 'where', 'with';
1998-11-16 wenzelm 1998-11-16 made SML/NJ happy;
1998-11-16 wenzelm 1998-11-16 several args parsers; realistic syntax; attributes: transfer, RS, APP, where, standard, elimify;
1998-11-09 wenzelm 1998-11-09 Symbolic theorem attributes.