REWRITE-ALL-EQUIVALENCE : WFFOP

REWRITE-ALL-EQUIVALENCE is a wff operation.
Replaces all occurrences of the form `A EQUIV B'
according to the setting of the flag REWRITE-EQUIVS.
 
The calling scheme for REWRITE-ALL-EQUIVALENCE is:

(REWRITE-ALL-EQUIVALENCE GWFF)
"GWFF"


The result is of type GWFF.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage