1.1 --- a/src/Pure/Isar/ROOT.ML	Fri Jan 02 08:12:46 2009 +0100
     1.2 +++ b/src/Pure/Isar/ROOT.ML	Fri Jan 02 08:13:12 2009 +0100
     1.3 @@ -55,9 +55,9 @@
     1.4  use "overloading.ML";
     1.5  use "locale.ML";
     1.6  use "new_locale.ML";
     1.7 -use "expression.ML";
     1.8  use "class.ML";
     1.9  use "theory_target.ML";
    1.10 +use "expression.ML";
    1.11  use "instance.ML";
    1.12  use "subclass.ML";
    1.13  

     2.1 --- a/src/Pure/Isar/class.ML	Fri Jan 02 08:12:46 2009 +0100
     2.2 +++ b/src/Pure/Isar/class.ML	Fri Jan 02 08:13:12 2009 +0100
     2.3 @@ -85,7 +85,7 @@
     2.4  
     2.5  end;
     2.6  
     2.7 -structure New_Locale =
     2.8 +(*structure New_Locale =
     2.9  struct
    2.10  
    2.11  val intro_locales_tac = Locale.intro_locales_tac; (*already forked!*)
    2.12 @@ -106,7 +106,7 @@
    2.13  val parameters_of = NewLocale.params_of; (*why typ option?*)
    2.14  val add_locale = Expression.add_locale;
    2.15  
    2.16 -end;
    2.17 +end;*)
    2.18  
    2.19  structure Locale = Old_Locale;
    2.20