--- a/src/Pure/Isar/ROOT.ML Mon Dec 03 16:04:16 2007 +0100
+++ b/src/Pure/Isar/ROOT.ML Mon Dec 03 16:04:17 2007 +0100
@@ -47,6 +47,7 @@
(*local theories and target primitives*)
use "local_theory.ML";
+use "overloading.ML";
use "locale.ML";
use "class.ML";