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