*** MESSAGE REFERS TO PREVIOUS VERSION ***
Attrib.src, Method.src;
Sign.declared_tyname/const;
no Attrib.multi_attribute, pass Attrib.src directly to locales;
register_locally: Proof.interpret_i replaced by Proof.have_i;

--- a/src/Pure/Isar/isar_thy.ML	Wed Apr 13 18:48:39 2005 +0200
+++ b/src/Pure/Isar/isar_thy.ML	Wed Apr 13 18:48:52 2005 +0200
@@ -678,3 +678,4 @@
 val context = init_context (ThyInfo.quiet_update_thy true);
 
 end;
+