SUB : EDOP

SUB is an editor command.
Replaces the current wff by the wff supplied.
 
The command format for SUB is:

<Ed>SUB GWFF
"GWFF"


The result replaces the current wff.

TPS documentation homepage


SUB : MATEOP

SUB is a mating-search command.
Create an expansion tree from a gwff0.
 
The command format for SUB is:

<Mate>SUB GWFF SKOLEMIZE DEEPEN
"GWFF0-OR-LABEL-OR-EPROOF" "YESNO" "YESNO"


The result replaces the current top node.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage