changeset 47279 | 4bab649dedf0 |
parent 47250 | 6523a21076a8 |
child 47286 | 392c4cd97e5c |
--- 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;