src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Fri Jul 11 09:02:28 2008 +0200
+++ b/src/Pure/ROOT.ML	Fri Jul 11 09:02:29 2008 +0200
@@ -51,11 +51,11 @@
 use "envir.ML";
 use "consts.ML";
 use "primitive_defs.ML";
+use "defs.ML";
+use "net.ML";
 use "sign.ML";
 use "pattern.ML";
 use "unify.ML";
-use "net.ML";
-use "defs.ML";
 use "theory.ML";
 use "interpretation.ML";
 use "proofterm.ML";