EPROOF-NAME : FLAG

EPROOF-NAME is a flag or parameter.
Prefix for names of expansion proofs.
EPROOF-NAME takes values of type SYMBOL.
It belongs to subjects ETREES .
Its default value is EPR
Its current value is EPR.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage