src/Pure/ROOT.ML
changeset 38379 67d71449e85b
parent 38350 480b2de9927c
child 38412 c23f3abbf42d
     1.1 --- a/src/Pure/ROOT.ML	Wed Aug 11 15:45:15 2010 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Wed Aug 11 16:02:03 2010 +0200
     1.3 @@ -209,10 +209,10 @@
     1.4  use "Isar/generic_target.ML";
     1.5  use "Isar/overloading.ML";
     1.6  use "axclass.ML";
     1.7 -use "Isar/class_target.ML";
     1.8 +use "Isar/class.ML";
     1.9  use "Isar/named_target.ML";
    1.10  use "Isar/expression.ML";
    1.11 -use "Isar/class.ML";
    1.12 +use "Isar/class_declaration.ML";
    1.13  
    1.14  use "simplifier.ML";
    1.15