src/Pure/Isar/theory_target.ML

--- a/src/Pure/Isar/theory_target.ML	Wed Nov 22 15:58:59 2006 +0100
+++ b/src/Pure/Isar/theory_target.ML	Wed Nov 22 17:38:36 2006 +0100
@@ -78,7 +78,9 @@
   in
     lthy'
     |> K (loc <> "") ? (snd o LocalTheory.abbrevs Syntax.default_mode abbrs)
+    |> ProofContext.set_stmt true
     |> LocalDefs.add_defs defns |>> map (apsnd snd)
+    ||> ProofContext.restore_stmt lthy'
   end;