--- a/src/Pure/Isar/locale.ML Sat Oct 24 19:04:57 2009 +0200
+++ b/src/Pure/Isar/locale.ML Sat Oct 24 19:20:03 2009 +0200
@@ -143,7 +143,7 @@
| NONE => error ("Unknown locale " ^ quote name));
fun register_locale binding parameters spec intros axioms decls notes dependencies thy =
- thy |> Locales.map (NameSpace.define (Sign.naming_of thy)
+ thy |> Locales.map (NameSpace.define true (Sign.naming_of thy)
(binding,
mk_locale ((parameters, spec, intros, axioms),
((pairself (map (fn decl => (decl, stamp ()))) decls, map (fn n => (n, stamp ())) notes),