Help-long has been included in addition to help! for historical
reasons. (Such a command is included in Pc-Nqthm).
same as help!
Major Section: PROOF-CHECKER-COMMANDS
See the documentation for help!.
Help-long has been included in addition to help! for historical
reasons. (Such a command is included in Pc-Nqthm).