SAVEPROOF : MEXPR

SAVEPROOF is a top-level command.
Saves the current natural deduction proof to the specified file in
a form in which it can be restored. Use RESTOREPROOF to restore the proof.
Overwrites the file if it already exists.
The command format for SAVEPROOF is:

 <n>SAVEPROOF  SAVEFILE 
"FILESPEC"


The arguments have the following meaning:
SAVEFILE : File in which to save proof

TPS documentation homepage


SAVEPROOF : TPS-FILE

SAVEPROOF is a file.
Functions for saving and restoring natural deduction proofs.
/home/theorem/tps/bin/saveproof.fasl is part of module OTLNL.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage