PROOF-FILE : FLAG

PROOF-FILE is a flag or parameter.
The file recording started and completed proofs.
PROOF-FILE takes values of type FILESPEC.
It belongs to subjects EVENTS .
Its default value is "/home/theorem/tps/etps3.proof"
Its current value is "/home/theorem/tps/etps3.proof".

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage