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