# HG changeset patch
# User wenzelm
# Date 1085167298 -7200
# Node ID 2be804d1dda903f43de78996e93bcecaaaa23cda
# Parent  949a3f558a437c1871d490e3eb5272c43023fcac
type.ML now before Syntax module;

diff -r 949a3f558a43 -r 2be804d1dda9 src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Fri May 21 21:21:12 2004 +0200
+++ b/src/Pure/ROOT.ML	Fri May 21 21:21:38 2004 +0200
@@ -21,15 +21,17 @@
 (*basic tools*)
 use "library.ML";
 cd "General"; use "ROOT.ML"; cd "..";
+
+(*fundamental structures*)
 use "term.ML";
+use "sorts.ML";
+use "type.ML";
 
 (*inner syntax module*)
 cd "Syntax"; use "ROOT.ML"; cd "..";
 
 (*core system*)
-use "sorts.ML";
 use "type_infer.ML";
-use "type.ML";
 use "sign.ML";
 use "envir.ML";
 use "pattern.ML";