INTERN-SUBST : WFFOP

INTERN-SUBST is a wff operation.
Converts term to desired form for substitution.
 
The calling scheme for INTERN-SUBST is:

(INTERN-SUBST GWFF VAR)
"GWFF" "GVAR"


The result is of type GWFF.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage