PR97A : INFO

PR97A is a flag setting or other piece of information.
A flag setting for PRIMSUB-METHOD.
Exactly as for PR97, but all substitutions are put into
negation normal form.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage