--- a/src/Pure/Isar/locale.ML Wed Jan 30 12:22:59 2002 +0100
+++ b/src/Pure/Isar/locale.ML Wed Jan 30 13:59:57 2002 +0100
@@ -61,10 +61,6 @@
val setup: (theory -> theory) list
end;
-(* FIXME
-fun u() = use "locale";
-*)
-
structure Locale: LOCALE =
struct