src/Pure/Isar/locale.ML

--- a/src/Pure/Isar/locale.ML	Thu Nov 12 21:59:35 2009 +0100
+++ b/src/Pure/Isar/locale.ML	Thu Nov 12 22:02:11 2009 +0100
@@ -518,7 +518,7 @@
 
 fun add_decls add loc decl =
   ProofContext.theory ((change_locale loc o apfst o apfst) (add (decl, stamp ()))) #>
-  add_thmss loc Thm.internalK
+  add_thmss loc ""
     [((Binding.conceal Binding.empty, [Attrib.internal (decl_attrib decl)]),
       [([Drule.dummy_thm], [])])];