src/Pure/Isar/locale.ML

--- a/src/Pure/Isar/locale.ML	Wed Oct 28 16:25:26 2009 +0100
+++ b/src/Pure/Isar/locale.ML	Wed Oct 28 16:25:27 2009 +0100
@@ -553,7 +553,8 @@
 fun add_decls add loc decl =
   ProofContext.theory ((change_locale loc o apfst o apfst) (add (decl, stamp ()))) #>
   add_thmss loc Thm.internalK
-    [((Binding.empty, [Attrib.internal (decl_attrib decl)]), [([Drule.dummy_thm], [])])];
+    [((Binding.conceal Binding.empty, [Attrib.internal (decl_attrib decl)]),
+      [([Drule.dummy_thm], [])])];
 
 in