NOTE-2-7-PROOF-CHECKER

ACL2 Version 2.7 Notes on Proof-checker Changes
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.