MBED=L : EDOP

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

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


The result replaces the current wff.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage