changeset 5961 | 6cf4e46ce95a |
parent 5926 | 58f9ca06b76b |
child 6391 | 0da748358eff |
--- a/src/Provers/blast.ML Wed Nov 25 14:01:08 1998 +0100 +++ b/src/Provers/blast.ML Wed Nov 25 14:03:20 1998 +0100 @@ -632,6 +632,8 @@ end; +val prs = std_output; + (*Print tracing information at each iteration of prover*) fun tracing sign brs = let fun printPairs (((G,_)::_,_)::_) = prs(traceTerm sign G)