Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Tools/find_theorems.ML
changeset 50214 67fb9a168d10
parent 49888 ff2063be8227
child 50217 ce1f0602f48e 
--- a/src/Pure/Tools/find_theorems.ML	Mon Nov 26 13:54:43 2012 +0100
+++ b/src/Pure/Tools/find_theorems.ML	Mon Nov 26 14:43:28 2012 +0100
@@ -625,7 +625,7 @@
 
 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
isabelle