src/Pure/attribute.ML
1998-12-01 wenzelm 1998-12-01 show_tags flag;
1998-11-17 wenzelm 1998-11-17 added pretty_tthms, print_tthms; tuned apply(s);
1998-11-16 wenzelm 1998-11-16 removed lift_modifier; removed fail; added tthms_of; added print_tthm; tuned rule;
1998-11-09 wenzelm 1998-11-09 added lift_modifier, rule;
1998-09-25 wenzelm 1998-09-25 tuned pretty_tag; tag attribute: append;
1998-07-24 wenzelm 1998-07-24 added internal;
1998-06-10 wenzelm 1998-06-10 moved attributes theory data to Isar/isar_thy.ML;
1998-06-08 wenzelm 1998-06-08 use type-safe theory data interface;
1998-06-05 wenzelm 1998-06-05 tuned setup; tuned add_attributes: comment; accomodate tuned version of data;
1998-05-13 wenzelm 1998-05-13 gen_attr: fixed order of evaluation;
1998-04-29 wenzelm 1998-04-29 added none: 'a -> 'a * 'b attribute list; added no_attrs: 'a * 'b -> ('a * ('b * tag list)) * 'c attribute list; added no_attrss: 'a * 'b list -> ('a * ('b * tag list) list) * 'c attribute list; added applys: ('a * tthm list) * 'a attribute list -> ('a * tthm list);
1998-04-04 wenzelm 1998-04-04 tuned fail;
1998-04-04 wenzelm 1998-04-04 type_error;
1998-04-04 wenzelm 1998-04-04 removed simple; added fail, untag;
1998-04-03 wenzelm 1998-04-03 Theorem tags and attributes.