1.1 --- a/src/Pure/Isar/locale.ML	Wed Jan 30 12:22:59 2002 +0100
     1.2 +++ b/src/Pure/Isar/locale.ML	Wed Jan 30 13:59:57 2002 +0100
     1.3 @@ -61,10 +61,6 @@
     1.4    val setup: (theory -> theory) list
     1.5  end;
     1.6  
     1.7 -(* FIXME
     1.8 -fun u() = use "locale";
     1.9 -*)
    1.10 -
    1.11  structure Locale: LOCALE =
    1.12  struct
    1.13