MBED-QL : EDOP

MBED-QL is an editor command.
Embed the current edwff on the left side of equivalence.
The right side is provided by the user.
 
The command format for MBED-QL is:

<Ed>MBED-QL <<LGWFF>> RGWFF
<<GWFF0>> "GWFF0"


The result replaces the current wff.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage