diff -r 5aa3756a4bf2 -r 14bd6e5985f1 TFL/rules.new.sml
--- a/TFL/rules.new.sml	Thu May 15 11:35:26 1997 +0200
+++ b/TFL/rules.new.sml	Thu May 15 12:29:59 1997 +0200
@@ -542,7 +542,7 @@
 val thm_ref = ref [] : thm list ref;
 val tracing = ref false;
 
-fun say s = if !tracing then prs s else ();
+fun say s = if !tracing then (output(std_out,s); flush_out std_out) else ();
 
 fun print_thms s L = 
    (say s;