src/Pure/ROOT.ML
changeset 38350 480b2de9927c
parent 38343 e5418eec375c
child 38379 67d71449e85b
--- a/src/Pure/ROOT.ML	Wed Aug 11 14:41:16 2010 +0200
+++ b/src/Pure/ROOT.ML	Wed Aug 11 14:45:38 2010 +0200
@@ -210,7 +210,7 @@
 use "Isar/overloading.ML";
 use "axclass.ML";
 use "Isar/class_target.ML";
-use "Isar/theory_target.ML";
+use "Isar/named_target.ML";
 use "Isar/expression.ML";
 use "Isar/class.ML";