tuned prths;
authorwenzelm
Wed Nov 12 16:21:15 1997 +0100 (1997-11-12)
changeset 4210abce78c8a931
parent 4209 4e0c98184285
child 4211 6ae637493076
tuned prths;
src/Pure/display.ML
     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 *)