1.1 --- a/src/Pure/ROOT.ML	Wed Aug 11 14:41:16 2010 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Wed Aug 11 14:45:38 2010 +0200
     1.3 @@ -210,7 +210,7 @@
     1.4  use "Isar/overloading.ML";
     1.5  use "axclass.ML";
     1.6  use "Isar/class_target.ML";
     1.7 -use "Isar/theory_target.ML";
     1.8 +use "Isar/named_target.ML";
     1.9  use "Isar/expression.ML";
    1.10  use "Isar/class.ML";
    1.11