changeset 4210 | abce78c8a931 |
parent 4126 | c41846a38e20 |
child 4250 | 3806a00677ff |
--- a/src/Pure/display.ML Wed Nov 12 16:20:49 1997 +0100 +++ b/src/Pure/display.ML Wed Nov 12 16:21:15 1997 +0100 @@ -70,7 +70,7 @@ (Sequence.prints (fn _ => print_thm) 100000 thseq; thseq); (*Print and return a list of theorems, separated by blank lines. *) -fun prths ths = (print_list_ln print_thm ths; ths); +fun prths ths = (seq (fn th => (print_thm th; writeln "")) ths; ths); (* other printing commands *)