diff -r d3c6184ca6c5 -r 3d75f5a99f60 src/Pure/Isar/ROOT.ML
--- a/src/Pure/Isar/ROOT.ML	Fri Feb 05 21:01:53 1999 +0100
+++ b/src/Pure/Isar/ROOT.ML	Fri Feb 05 21:02:17 1999 +0100
@@ -20,14 +20,16 @@
 (*interactive subsystem*)
 use "proof_history.ML";
 use "toplevel.ML";
-use "outer_syntax.ML";
 
-(*theory operations and syntax*)
+(*theory operations*)
 use "isar_thy.ML";
 use "isar_cmd.ML";
+
+(*theory syntax*)
+use "outer_syntax.ML";
 use "isar_syn.ML";
 
-(*main interface*)
+(*main ML interface*)
 use "isar.ML";
 
 structure PureIsar =