RPALL : EDOP

RPALL is an editor command.
Replace a all occurrences of a symbol by a predefined equivalent wff.
 
The command format for RPALL is:

<Ed>RPALL REP-SYM REP-BY <<REP-IN>>
"REPSYM" "SYMBOL" <<GWFF>>


The result replaces the current wff.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage