# HG changeset patch
# User wenzelm
# Date 1012395597 -3600
# Node ID c66cb5591191146a9ac79a32f41836436992fbcc
# Parent  7ec4807b53cf0b0edd326c908c47b0fc294f70f1
tuned;

diff -r 7ec4807b53cf -r c66cb5591191 src/Pure/Isar/locale.ML
--- 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