src/Pure/Isar/ROOT.ML

--- a/src/Pure/Isar/ROOT.ML	Mon Jan 05 15:35:42 2009 +0100
+++ b/src/Pure/Isar/ROOT.ML	Mon Jan 05 15:36:24 2009 +0100
@@ -55,11 +55,10 @@
 use "overloading.ML";
 use "locale.ML";
 use "new_locale.ML";
-use "class.ML";
+use "class_target.ML";
 use "theory_target.ML";
 use "expression.ML";
-use "instance.ML";
-use "subclass.ML";
+use "class.ML";
 
 (*complex proof machineries*)
 use "../simplifier.ML";