src/Pure/Isar/locale.ML
changeset 33096 db3c18fd9708
parent 33095 bbd52d2f8696
child 33159 369da293bbd4
     1.1 --- a/src/Pure/Isar/locale.ML	Sat Oct 24 19:47:37 2009 +0200
     1.2 +++ b/src/Pure/Isar/locale.ML	Sat Oct 24 20:54:08 2009 +0200
     1.3 @@ -125,7 +125,7 @@
     1.4  structure Locales = TheoryDataFun
     1.5  (
     1.6    type T = locale Name_Space.table;
     1.7 -  val empty = Name_Space.empty_table;
     1.8 +  val empty = Name_Space.empty_table "locale";
     1.9    val copy = I;
    1.10    val extend = I;
    1.11    fun merge _ = Name_Space.join_tables (K merge_locale);