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".

© 1988-99, Carnegie Mellon University.