ACL2-PC::MORE!

(macro) proof-checker help facility
Major Section:  PROOF-CHECKER-COMMANDS

Continues documentation of last proof-checker command visited with help, until all documentation on that command is printed out.

Invoke help for documentation about the proof-checker help facility.