# HG changeset patch
# User wenzelm
# Date 1375999338 -7200
# Node ID 9c6aef15a7ad3aadf4498361bdcf4fc0be38c9be
# Parent  6415d95bf7a29c451b725b6bdb47764124eff741
tuned message;

diff -r 6415d95bf7a2 -r 9c6aef15a7ad src/Pure/Tools/find_theorems.ML
--- a/src/Pure/Tools/find_theorems.ML	Thu Aug 08 23:52:35 2013 +0200
+++ b/src/Pure/Tools/find_theorems.ML	Fri Aug 09 00:02:18 2013 +0200
@@ -519,7 +519,7 @@
     (if null theorems then [Pretty.str "nothing found"]
      else
       [Pretty.str (tally_msg ^ ":"), Pretty.str ""] @
-        grouped 10 Par_List.map (pretty_theorem ctxt) theorems)
+        grouped 10 Par_List.map (Pretty.item o single o pretty_theorem ctxt) theorems)
   end |> Pretty.fbreaks |> curry Pretty.blk 0;
 
 fun pretty_theorems_cmd state opt_lim rem_dups spec =