PRINTLINEFLAG : FLAG

PRINTLINEFLAG is a flag or parameter.
If nil, lines in the proof outline are not printed.
PRINTLINEFLAG takes values of type BOOLEAN.
It belongs to subjects OTL-VARS .
Its default value is T
Its current value is T.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage