src/Pure/Tools/find_theorems.ML

--- a/src/Pure/Tools/find_theorems.ML	Thu Jul 18 22:18:20 2013 +0200
+++ b/src/Pure/Tools/find_theorems.ML	Thu Jul 18 22:32:00 2013 +0200
@@ -588,7 +588,7 @@
      else
       [Pretty.str (tally_msg ^ ":"), Pretty.str ""] @
         grouped 10 Par_List.map (pretty_theorem ctxt) theorems)
-  end |> Pretty.chunks |> Pretty.writeln;
+  end |> Pretty.fbreaks |> curry Pretty.blk 0 |> Pretty.writeln;
 
 fun print_theorems ctxt =
   gen_print_theorems (filter_theorems ctxt (map Internal (all_facts_of ctxt))) ctxt;