INSTANTIATE-ALL : WFFOP

INSTANTIATE-ALL is a wff operation.
Instantiate all definitions, except the ones specified
in the second argument.
 
The calling scheme for INSTANTIATE-ALL is:

(INSTANTIATE-ALL INWFF EXCEPTIONS)
"GWFF" "SYMBOLLIST"


The result is of type GWFF.

The arguments have the following meaning:
INWFF : inwff
EXCEPTIONS : exceptions

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage