src/Pure/Isar/locale.ML
changeset 33278 ba9f52f56356
parent 33159 369da293bbd4
child 33519 e31a85f92ce9
     1.1 --- a/src/Pure/Isar/locale.ML	Wed Oct 28 16:25:26 2009 +0100
     1.2 +++ b/src/Pure/Isar/locale.ML	Wed Oct 28 16:25:27 2009 +0100
     1.3 @@ -553,7 +553,8 @@
     1.4  fun add_decls add loc decl =
     1.5    ProofContext.theory ((change_locale loc o apfst o apfst) (add (decl, stamp ()))) #>
     1.6    add_thmss loc Thm.internalK
     1.7 -    [((Binding.empty, [Attrib.internal (decl_attrib decl)]), [([Drule.dummy_thm], [])])];
     1.8 +    [((Binding.conceal Binding.empty, [Attrib.internal (decl_attrib decl)]),
     1.9 +      [([Drule.dummy_thm], [])])];
    1.10  
    1.11  in
    1.12