ACL2-PC::MORE

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

Continues documentation of last proof-checker command visited with help.

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