--- a/src/Pure/Isar/ROOT.ML Tue Jan 11 14:16:30 2005 +0100
+++ b/src/Pure/Isar/ROOT.ML Tue Jan 11 14:18:06 2005 +0100
@@ -33,8 +33,8 @@
(*toplevel environment*)
use "toplevel.ML";
+use "isar_output.ML";
use "session.ML";
-use "isar_output.ML";
(*theory syntax*)
use "thy_header.ML";