changeset 56334 | 6b3739fee456 |
parent 54742 | 7a86358a3c0b |
child 57859 | 29e728588163 |
--- a/src/Provers/classical.ML Mon Mar 31 10:28:08 2014 +0200 +++ b/src/Provers/classical.ML Mon Mar 31 12:35:39 2014 +0200 @@ -632,7 +632,7 @@ Pretty.big_list "elimination rules (elim):" (pretty_thms hazEs), Pretty.strs ("safe wrappers:" :: map #1 swrappers), Pretty.strs ("unsafe wrappers:" :: map #1 uwrappers)] - |> Pretty.chunks |> Pretty.writeln + |> Pretty.writeln_chunks end;