src/HOL/Tools/value.ML

 
 val opt_evaluator =
   Scan.option (@{keyword "["} |-- Parse.xname --| @{keyword "]"})
   
 val _ =
-  Outer_Syntax.command @{command_spec "value"} "evaluate and print term"
+  Outer_Syntax.command @{command_keyword value} "evaluate and print term"
     (opt_evaluator -- opt_modes -- Parse.term
       >> (fn ((some_name, modes), t) => Toplevel.keep (value_cmd some_name modes t)));
 
 val _ = Theory.setup
   (Thy_Output.antiquotation @{binding value}