FIND-PROVABLE : LIBRARYCMD

FIND-PROVABLE is a library command.
Look for gwffs with a certain provability status.
 
The command format for FIND-PROVABLE is:

<LIB>FIND-PROVABLE BACKUP
"YESNO"

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage