# HG changeset patch
# User wenzelm
# Date 1113410932 -7200
# Node ID f80426948b37c183add364340fd73a8f9e3204e6
# Parent  3285d665c89165c65cbea931323b7ece93371412
*** 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;

diff -r 3285d665c891 -r f80426948b37 src/Pure/Isar/isar_thy.ML
--- 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;
+