Major Section: NOTE-2-7
Output from the proof-checker can now be inhibited by supplying the symbol proof-checker in the list given to set-inhibit-output-lst.
proof-checker
