PRINT-WEAK is a flag or parameter.
If T, weak labels are printed, otherwise they wff the represent
will be printed.
PRINT-WEAK takes values of type BOOLEAN.
It belongs to subjects PRINTING .
Its default value is T
Its current value is T.

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage