# HG changeset patch
# User haftmann
# Date 1171095977 -3600
# Node ID 9ca7d368968d0305e9dc10f3b3de5cdf47657a60
# Parent  757ace95c4a060d6eea2ed65326bf4be4ecca407
added class package to Isar bootstrap

diff -r 757ace95c4a0 -r 9ca7d368968d src/Pure/Isar/ROOT.ML
--- 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";
diff -r 757ace95c4a0 -r 9ca7d368968d src/Pure/Tools/ROOT.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";