| 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 |