ProofContext.restore_mode;

--- a/src/Pure/Isar/theory_target.ML	Tue Aug 21 20:05:38 2007 +0200
+++ b/src/Pure/Isar/theory_target.ML	Tue Aug 21 20:05:40 2007 +0200
@@ -301,7 +301,7 @@
     |> ProofContext.qualified_names
     |> ProofContext.note_thmss_i kind local_facts
     ||> ProofContext.restore_naming lthy
-    ||> ProofContext.restore_stmt lthy
+    ||> ProofContext.restore_mode lthy
   end;