tuned order of modules;

--- 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";