SHOW-WFF : LIBRARYCMD

SHOW-WFF is a library command.
Display the wff of a gwff in the library.

If more than one library object of this name is stored in
the library and SHOW-ALL-LIBOBJECTS is set to T,
the user is prompted to disambiguate.
 
The command format for SHOW-WFF is:

<LIB>SHOW-WFF NAME
"SYMBOL"

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage