changeset 29333 | 496b94152b55 |
parent 29133 | 9d10cc6aaa02 |
child 29358 | efdfe5dfe008 |
--- 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;