src/Pure/Isar/overloading.ML

--- a/src/Pure/Isar/overloading.ML	Thu Mar 22 11:11:51 2012 +0100
+++ b/src/Pure/Isar/overloading.ML	Thu Mar 22 15:41:49 2012 +0100
@@ -208,7 +208,7 @@
         abbrev = Generic_Target.abbrev
           (fn prmode => fn (b, mx) => fn (t, _) => fn _ =>
             Generic_Target.theory_abbrev prmode ((b, mx), t)),
-        declaration = K Generic_Target.theory_declaration,
+        declaration = K Generic_Target.standard_declaration,
         pretty = pretty,
         exit = Local_Theory.target_of o conclude}
   end;