help for documentation about the proof-checker help facility.
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.