src/Pure/Tools/find_theorems.ML
changeset 52703 d68fd63bf082
parent 52702 c503730efae5
child 52704 b824497c8e86
     1.1 --- a/src/Pure/Tools/find_theorems.ML	Thu Jul 18 22:18:20 2013 +0200
     1.2 +++ b/src/Pure/Tools/find_theorems.ML	Thu Jul 18 22:32:00 2013 +0200
     1.3 @@ -588,7 +588,7 @@
     1.4       else
     1.5        [Pretty.str (tally_msg ^ ":"), Pretty.str ""] @
     1.6          grouped 10 Par_List.map (pretty_theorem ctxt) theorems)
     1.7 -  end |> Pretty.chunks |> Pretty.writeln;
     1.8 +  end |> Pretty.fbreaks |> curry Pretty.blk 0 |> Pretty.writeln;
     1.9  
    1.10  fun print_theorems ctxt =
    1.11    gen_print_theorems (filter_theorems ctxt (map Internal (all_facts_of ctxt))) ctxt;