| Wed, 13 Aug 2014 14:57:03 +0200 | wenzelm | transfer result of Global_Theory.add_thms_dynamic to context stack; | changeset | files |
| Wed, 13 Aug 2014 13:57:55 +0200 | wenzelm | localized attribute definitions; | changeset | files |
| Wed, 13 Aug 2014 13:30:28 +0200 | wenzelm | load local_theory.ML before attrib.ML, with subtle change of semantics due to canonical Local_Theory.map_contexts instead of private Local_Theory.map_top; | changeset | files |