src/Pure/Isar/locale.ML
changeset 33643 b275f26a638b
parent 33541 e716c6ad381b
child 35798 fd1bb29f8170
child 36088 a4369989bc45
     1.1 --- a/src/Pure/Isar/locale.ML	Thu Nov 12 21:59:35 2009 +0100
     1.2 +++ b/src/Pure/Isar/locale.ML	Thu Nov 12 22:02:11 2009 +0100
     1.3 @@ -518,7 +518,7 @@
     1.4  
     1.5  fun add_decls add loc decl =
     1.6    ProofContext.theory ((change_locale loc o apfst o apfst) (add (decl, stamp ()))) #>
     1.7 -  add_thmss loc Thm.internalK
     1.8 +  add_thmss loc ""
     1.9      [((Binding.conceal Binding.empty, [Attrib.internal (decl_attrib decl)]),
    1.10        [([Drule.dummy_thm], [])])];
    1.11