added class package to Isar bootstrap

--- 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";

--- a/src/Pure/Tools/ROOT.ML	Sat Feb 10 09:26:16 2007 +0100
+++ b/src/Pure/Tools/ROOT.ML	Sat Feb 10 09:26:17 2007 +0100
@@ -9,7 +9,7 @@
 
 (*derived theory and proof elements*)
 use "invoke.ML";
-use "class_package.ML";
+(* use "class_package.ML"; see Pure/Isar/ROOT.ML *)
 
 (*code generator, 1st generation*)
 use "../codegen.ML";