src/HOL/Tools/Lifting/lifting_setup.ML

 val opt_gen_code =
   Scan.optional (@{keyword "("} |-- Parse.!!! ((Parse.reserved "no_code" >> K false) --| @{keyword ")"})) true
 
 val _ = 
   Outer_Syntax.local_theory @{command_spec "setup_lifting"}
-    "Setup lifting infrastructure" 
+    "setup lifting infrastructure" 
       (opt_gen_code -- Parse_Spec.xthm -- Scan.option Parse_Spec.xthm >> 
         (fn ((gen_code, xthm), opt_reflp_xthm) => setup_lifting_cmd gen_code xthm opt_reflp_xthm))
 end;