src/Pure/Tools/named_theorems.ML

       |> Local_Theory.add_thms_dynamic (binding, fn context => content context name)
       |> Attrib.local_setup binding (Attrib.add_del (add name) (del name)) description
   in (name, lthy') end;
 
 val _ =
-  Outer_Syntax.local_theory @{command_spec "named_theorems"}
+  Outer_Syntax.local_theory @{command_keyword named_theorems}
     "declare named collection of theorems"
     (Parse.and_list1 (Parse.binding -- Scan.optional Parse.text "") >>
       fold (fn (b, descr) => snd o declare b descr));