Wed, 13 Aug 2014 20:43:19 +0200 | wenzelm | merged | changeset | files |
Wed, 13 Aug 2014 16:06:32 +0200 | wenzelm | tuned signature -- proper Local_Theory.add_thms_dynamic; | changeset | files |
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 |
Wed, 13 Aug 2014 12:59:27 +0200 | wenzelm | clarified terminology: first is top (amending d110b0d1bc12); | changeset | files |
Wed, 13 Aug 2014 12:52:26 +0200 | wenzelm | tuned whitespace; | changeset | files |