MBED=R : EDOP

MBED=R is an editor command.
Embed the current edwff on the right side of equality.
The left side is provided by the user.
 
The command format for MBED=R is:

<Ed>MBED=R <<RGWFF>> LGWFF
<<GWFF>> "GWFF"


The result replaces the current wff.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage