diff -r b32ee57b35f7 -r 1dc034c3df61 src/Pure/Isar/ROOT.ML
--- a/src/Pure/Isar/ROOT.ML	Tue Jan 10 19:33:32 2006 +0100
+++ b/src/Pure/Isar/ROOT.ML	Tue Jan 10 19:33:33 2006 +0100
@@ -11,9 +11,9 @@
 use "auto_bind.ML";
 use "proof_context.ML";
 use "proof_display.ML";
-use "context_rules.ML";
 use "args.ML";
 use "attrib.ML";
+use "context_rules.ML";
 use "skip_proof.ML";
 use "method.ML";
 use "proof.ML";