src/Pure/Tools/named_theorems.ML
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;