src/Pure/Tools/named_theorems.ML
2015-12-22 wenzelm 2015-12-22 tuned;
2015-08-30 wenzelm 2015-08-30 trim context for persistent storage;
2015-04-06 wenzelm 2015-04-06 @{command_spec} is superseded by @{command_keyword};
2015-04-03 wenzelm 2015-04-03 check wrt. proper context, e.g. relevant for 'experiment' target;
2015-03-31 wenzelm 2015-03-31 tuned;
2015-03-31 wenzelm 2015-03-31 tuned message;
2014-11-22 wenzelm 2014-11-22 named_theorems: multiple args;
2014-08-17 wenzelm 2014-08-17 made SML/NJ happy;
2014-08-13 wenzelm 2014-08-13 tuned signature -- proper Local_Theory.add_thms_dynamic;
2014-08-13 wenzelm 2014-08-13 transfer result of Global_Theory.add_thms_dynamic to context stack; more accurate local aliases;
2014-08-13 wenzelm 2014-08-13 localized attribute definitions;
2014-08-10 wenzelm 2014-08-10 some localization;
2014-08-10 wenzelm 2014-08-10 support for named collections of theorems in canonical order;