TREAT-HLINES-AS-DLINES : FLAG

TREAT-HLINES-AS-DLINES is a flag or parameter.
If T, hlines may have multiple hypotheses and a justification,
if NIL, hlines can only have one hypothesis (itself) and `Hyps' as
justification.
TREAT-HLINES-AS-DLINES takes values of type BOOLEAN.
It belongs to subjects CORE::RULES-OBJECT .
Its default value is T
Its current value is T.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage