CW : EDOP

CW is an editor command.
Assigns a label to the edwff, but does not change the edwff. You can
use the label to refer to this wff later.
 
The command format for CW is:

<Ed>CW LABEL <<GWFF>>
"SYMBOL" <<GWFF>>

TPS documentation homepage


CW : MATEOP

CW is a mating-search command.
 
The command format for CW is:

<Mate>CW LABEL <<GWFF>>
"SYMBOL" <<GWFF>>

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage