# HG changeset patch
# User berghofe
# Date 1105449486 -3600
# Node ID cb5bfb32ab39ad2042fc0bd257fc8d1c5df05ae1
# Parent  a2cbdf16832ea44ae306a2170973811a6936d19e
Swapped session.ML and isar_output.ML

diff -r a2cbdf16832e -r cb5bfb32ab39 src/Pure/Isar/ROOT.ML
--- 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";