# HG changeset patch
# User wenzelm
# Date 879348075 -3600
# Node ID abce78c8a9313cc7aa19adeeae15234468dfe2e3
# Parent  4e0c98184285cbd84227f743a5188f480684d2e7
tuned prths;

diff -r 4e0c98184285 -r abce78c8a931 src/Pure/display.ML
--- 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 *)