src/Pure/ROOT.ML
changeset 38412 c23f3abbf42d
parent 38379 67d71449e85b
child 38418 9a7af64d71bb
--- a/src/Pure/ROOT.ML	Sat Aug 14 13:24:06 2010 +0200
+++ b/src/Pure/ROOT.ML	Sat Aug 14 18:43:45 2010 +0200
@@ -255,9 +255,9 @@
 (* Isabelle/Isar system *)
 
 use "System/session.ML";
+use "System/isabelle_process.ML";
+use "System/isar_document.ML";
 use "System/isar.ML";
-use "System/isabelle_process.ML";
-use "Isar/isar_document.ML";
 
 
 (* miscellaneous tools and packages for Pure Isabelle *)