PRIM-SUBST : EDOP

PRIM-SUBST is an editor command.
Replaces a variable with a primitive substitution.
Differs from SUBST in that it will also replace quantified
variables, and their quantifiers, as necessary.
 
The command format for PRIM-SUBST is:

<Ed>PRIM-SUBST <<INWFF>> VAR SUB
<<GWFF>> "GVAR" "GWFF"


The result replaces the current wff.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage