changeset 2467 | 357adb429fda |
parent 2112 | 3902e9af752f |
child 3191 | 14bd6e5985f1 |
--- a/TFL/rules.new.sml Fri Dec 20 16:10:30 1996 +0100 +++ b/TFL/rules.new.sml Fri Jan 03 10:45:31 1997 +0100 @@ -542,7 +542,7 @@ val thm_ref = ref [] : thm list ref; val tracing = ref false; -fun say s = if !tracing then (output(std_out,s); flush_out std_out) else (); +fun say s = if !tracing then prs s else (); fun print_thms s L = (say s;