AB-CHANGE : WFFOP

AB-CHANGE is a wff operation.
Alphabetic change of variable at top-level.
 
The calling scheme for AB-CHANGE is:

(AB-CHANGE GWFF NEWVAR)
"GWFF" "GVAR"


The result is of type GWFF.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage