# HG changeset patch
# User haftmann
# Date 1215759749 -7200
# Node ID 726e8fa3e40422422cca743c9e608be7f20b6669
# Parent  7165068bb61fdbb7623add1f8141982768f3ed93
tuned order

diff -r 7165068bb61f -r 726e8fa3e404 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";