SHOW-WFF&HELP : LIBRARYCMD

SHOW-WFF&HELP is a library command.
Display the wff of a gwff in the library, with the associated
help message, keywords and provability status.
 
The command format for SHOW-WFF&HELP is:

<LIB>SHOW-WFF&HELP NAME
"SYMBOL"

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage