# HG changeset patch
# User haftmann
# Date 1230880392 -3600
# Node ID 496b94152b55d35aa0200419057742d899b55789
# Parent  edc1e2a563988e2f1e3d481bce805bfca926cef8
improved boostrap order: theory_target.ML before expression.ML

diff -r edc1e2a56398 -r 496b94152b55 src/Pure/Isar/ROOT.ML
--- a/src/Pure/Isar/ROOT.ML	Fri Jan 02 08:12:46 2009 +0100
+++ b/src/Pure/Isar/ROOT.ML	Fri Jan 02 08:13:12 2009 +0100
@@ -55,9 +55,9 @@
 use "overloading.ML";
 use "locale.ML";
 use "new_locale.ML";
-use "expression.ML";
 use "class.ML";
 use "theory_target.ML";
+use "expression.ML";
 use "instance.ML";
 use "subclass.ML";
 
diff -r edc1e2a56398 -r 496b94152b55 src/Pure/Isar/class.ML
--- a/src/Pure/Isar/class.ML	Fri Jan 02 08:12:46 2009 +0100
+++ b/src/Pure/Isar/class.ML	Fri Jan 02 08:13:12 2009 +0100
@@ -85,7 +85,7 @@
 
 end;
 
-structure New_Locale =
+(*structure New_Locale =
 struct
 
 val intro_locales_tac = Locale.intro_locales_tac; (*already forked!*)
@@ -106,7 +106,7 @@
 val parameters_of = NewLocale.params_of; (*why typ option?*)
 val add_locale = Expression.add_locale;
 
-end;
+end;*)
 
 structure Locale = Old_Locale;