--- a/src/Pure/Isar/ROOT.ML Sat Feb 10 09:26:16 2007 +0100
+++ b/src/Pure/Isar/ROOT.ML Sat Feb 10 09:26:17 2007 +0100
@@ -48,6 +48,7 @@
use "locale.ML";
use "spec_parse.ML";
use "../axclass.ML";
+use "../Tools/class_package.ML";
use "theory_target.ML";
use "specification.ML";
use "constdefs.ML";