diff -r daeaf4824e9a -r 4bab649dedf0 src/Pure/Isar/overloading.ML
--- a/src/Pure/Isar/overloading.ML	Mon Apr 02 20:50:41 2012 +0200
+++ b/src/Pure/Isar/overloading.ML	Mon Apr 02 21:49:27 2012 +0200
@@ -207,7 +207,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.standard_declaration,
+        declaration = K Generic_Target.theory_declaration,
         pretty = pretty,
         exit = Local_Theory.target_of o conclude}
   end;