DUPW : EDOP

DUPW is an editor command.
duplicates wff across connective.
 
The command format for DUPW is:

<Ed>DUPW <<GWFF>> CONNECTIVE
<<GWFF0>> "GWFF"


The result replaces the current wff.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage