REW-EQUIV : EDOP

REW-EQUIV is an editor command.
Replaces all occurrences of the form `A EQUIV B'
according to the setting of the flag REWRITE-EQUIVS.
 
The command format for REW-EQUIV is:

<Ed>REW-EQUIV <<GWFF>>
<<GWFF>>


The result replaces the current wff.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage