ACL2-PC::HELP!

(macro) 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.