*** MESSAGE REFERS TO PREVIOUS VERSION ***
removed type multi_attribute (store Attrib.src instead);
datatype elem/element(_i): Attrib.src instead of 'att;
removed map_attrib_element etc.;
added intern_attrib_elem(_expr);
added map_elem, map_values to economize code;
static binding of values in Attrib.src (cf. Args.closure, Attrib.crude_closure);
prep_facts: transfer internal facts;

--- a/src/Pure/Isar/locale.ML	Wed Apr 13 18:48:52 2005 +0200
+++ b/src/Pure/Isar/locale.ML	Wed Apr 13 18:49:07 2005 +0200
@@ -2113,3 +2113,4 @@
   add_locale_i true "struct" empty [Fixes [(Syntax.internal "S", NONE, NONE)]]];
 
 end;
+