--- a/src/Pure/ROOT.ML Tue Aug 10 13:58:26 2010 +0200
+++ b/src/Pure/ROOT.ML Tue Aug 10 14:06:38 2010 +0200
@@ -204,6 +204,7 @@
(*local theories and targets*)
use "Isar/local_theory.ML";
+use "Isar/generic_target.ML";
use "Isar/overloading.ML";
use "Isar/locale.ML";
use "axclass.ML";