src/Pure/Isar/session.ML

--- a/src/Pure/Isar/session.ML	Sat Dec 30 12:33:26 2006 +0100
+++ b/src/Pure/Isar/session.ML	Sat Dec 30 12:33:27 2006 +0100
@@ -61,6 +61,7 @@
   (Output.accumulated_time ();
     ThyInfo.finish ();
     Present.finish ();
+    Toplevel.init_state ();
     session_finished := true);