src/Pure/Isar/ROOT.ML
changeset 15434 cb5bfb32ab39
parent 14981 e73f8140af78
child 15452 e2a721567f67
--- 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";