1.1 --- a/src/Pure/ROOT.ML	Tue Mar 09 14:29:47 2010 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Tue Mar 09 14:35:02 2010 +0100
     1.3 @@ -148,7 +148,6 @@
     1.4  use "assumption.ML";
     1.5  use "display.ML";
     1.6  use "goal.ML";
     1.7 -use "axclass.ML";
     1.8  
     1.9  
    1.10  (* Isar -- Intelligible Semi-Automated Reasoning *)
    1.11 @@ -209,6 +208,7 @@
    1.12  use "Isar/local_theory.ML";
    1.13  use "Isar/overloading.ML";
    1.14  use "Isar/locale.ML";
    1.15 +use "axclass.ML";
    1.16  use "Isar/class_target.ML";
    1.17  use "Isar/theory_target.ML";
    1.18  use "Isar/expression.ML";