tuned message;
authorwenzelm
Fri Aug 09 00:02:18 2013 +0200 (2013-08-09)
changeset 529279c6aef15a7ad
parent 52926 6415d95bf7a2
child 52928 facb4f6dc391
tuned message;
src/Pure/Tools/find_theorems.ML
     1.1 --- a/src/Pure/Tools/find_theorems.ML	Thu Aug 08 23:52:35 2013 +0200
     1.2 +++ b/src/Pure/Tools/find_theorems.ML	Fri Aug 09 00:02:18 2013 +0200
     1.3 @@ -519,7 +519,7 @@
     1.4      (if null theorems then [Pretty.str "nothing found"]
     1.5       else
     1.6        [Pretty.str (tally_msg ^ ":"), Pretty.str ""] @
     1.7 -        grouped 10 Par_List.map (pretty_theorem ctxt) theorems)
     1.8 +        grouped 10 Par_List.map (Pretty.item o single o pretty_theorem ctxt) theorems)
     1.9    end |> Pretty.fbreaks |> curry Pretty.blk 0;
    1.10  
    1.11  fun pretty_theorems_cmd state opt_lim rem_dups spec =