src/Pure/Tools/find_theorems.ML

 
 val query_parser = Scan.repeat (((Scan.option Parse.minus >> is_none) -- criterion));
 
 val _ =
   Outer_Syntax.improper_command @{command_spec "find_theorems"}
-    "print theorems meeting specified criteria"
+    "find theorems meeting specified criteria"
     (options -- query_parser
       >> (fn ((opt_lim, rem_dups), spec) =>
         Toplevel.no_timing o
         Toplevel.keep (fn state =>
           let