# HG changeset patch
# User wenzelm
# Date 1026837476 -7200
# Node ID dc5d2a0685eb3881a911d5df049780907d8032b9
# Parent  8f8ba32d148be1a183b57d8bfe04bc29dab375b1
tuned order of modules;

diff -r 8f8ba32d148b -r dc5d2a0685eb src/Pure/Isar/ROOT.ML
--- a/src/Pure/Isar/ROOT.ML	Tue Jul 16 18:37:03 2002 +0200
+++ b/src/Pure/Isar/ROOT.ML	Tue Jul 16 18:37:56 2002 +0200
@@ -11,13 +11,13 @@
 use "auto_bind.ML";
 use "rule_cases.ML";
 use "proof_context.ML";
+use "proof_data.ML";
+use "context_rules.ML";
 use "locale.ML";
 use "proof.ML";
-use "proof_data.ML";
 use "proof_history.ML";
 use "args.ML";
 use "attrib.ML";
-use "context_rules.ML";
 use "net_rules.ML";
 use "induct_attrib.ML";
 use "method.ML";