PR97C : INFO

PR97C is a flag setting or other piece of information.
A flag setting for PRIMSUB-METHOD.
Using the connectives AND and OR, and the quantifiers EXISTS and
FORALL (ranging over variables of types PRIM-BDTYPES), and also using
any abbreviations or equalities that occur in the gwff to be proven,
primsubs are built up using the bounds given by MIN- and MAX-PRIM-LITS
and MIN- and MAX-PRIM-DEPTH. See also PR97C-PRENEX and PR97C-MAX-ABBREVS.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage