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