src/Pure/Isar/attrib.ML
2000-03-31 ago added add_del_args;
2000-03-17 ago untag: remove all tags of given name;
2000-03-08 ago added 'case_names' and 'params';
2000-02-22 ago tuned syntax wrapper;
2000-01-28 ago Drule.instantiate;
1999-10-01 ago added undef_global_attribute, undef_local_attribute;
1999-09-30 ago removed ProofContext.declare_thm;
1999-09-26 ago help: unkown theory context;
1999-09-25 ago unfold / fold defs;
1999-08-26 ago print_help;
1999-07-09 ago COMP: optional position;
1999-07-08 ago 'export';
1999-07-01 ago renamed with/APP to of/OF;
1999-06-28 ago cond_extern_table;
1999-06-04 ago added COMP attribute;
1999-04-30 ago theory data: copy;
1999-04-16 ago and_list;
1999-01-12 ago eliminated tthm type and Attribute structure;
1998-11-17 ago exception ATTRIB_FAIL;
1998-11-16 ago made SML/NJ happy;
1998-11-16 ago several args parsers;
1998-11-09 ago Symbolic theorem attributes.