AB : EDOP

AB is an editor command.
Alphabetic change of variable at top-level.
 
The command format for AB is:

<Ed>AB <<GWFF>> NEWVAR
<<GWFF>> "GVAR"


The result replaces the current wff.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage