PR97C-PRENEX : FLAG

PR97C-PRENEX is a flag or parameter.
If T, PR97C generates substitutions in prenex normal form. If NIL, it doesn't.
PR97C-PRENEX takes values of type BOOLEAN.
It belongs to subjects IMPORTANT MS93-1 MS92-9 MS91-7 MS91-6 MS90-9 MS90-3 MS89 MS88 PRIMSUBS .
Its default value is T
Its current value is T.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage