PRIMSUB-VAR-SELECT : FLAGPRIMSUB-VAR-SELECT is a flag or parameter.
If T, primsubs will only be applied to those variables
which occur both negatively and positively as the head variable
of some leaves in the current eproof.
If NIL, primsubs will be applied to any variable which occurs
either negatively or positively or both, anywhere
PRIMSUB-VAR-SELECT takes values of type BOOLEAN.
It belongs to subjects PRIMSUBS .
Its default value is T
Its current value is T.
TPS documentation homepage