# HG changeset patch
# User wenzelm
# Date 1192111541 -7200
# Node ID 68c5c62bed136c344f0fa39f9938e298c4aa3d27
# Parent  70111480b84b9450d624cfda6fcb089ba33b67b4
load axclass.ML before Isar;
load subclass.ML earlier;

diff -r 70111480b84b -r 68c5c62bed13 src/Pure/Isar/ROOT.ML
--- a/src/Pure/Isar/ROOT.ML	Thu Oct 11 16:05:39 2007 +0200
+++ b/src/Pure/Isar/ROOT.ML	Thu Oct 11 16:05:41 2007 +0200
@@ -11,7 +11,6 @@
 use "auto_bind.ML";
 use "local_syntax.ML";
 use "proof_context.ML";
-use "../axclass.ML";
 use "local_defs.ML";
 
 (*outer syntax*)
@@ -55,10 +54,10 @@
 (*local theories and specifications*)
 use "local_theory.ML";
 use "theory_target.ML";
+use "subclass.ML";
 use "instance.ML";
 use "spec_parse.ML";
 use "specification.ML";
-use "subclass.ML"; (*FIXME improve structure*)
 use "constdefs.ML";
 
 (*toplevel environment*)