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

Functions for saving and restoring natural deduction proofs.

/home/theorem/tps/bin/saveproof.fasl is part of module OTLNL.

© 1988-99, Carnegie Mellon University.