help for documentation about the proof-checker help facility.
proof-checker help facility
Major Section: PROOF-CHECKER-COMMANDS
Same as help, except that the entire help message is printed without
any need to invoke more! or more.
Invoke help for documentation about the proof-checker help facility.