SAVE : EDOPSAVE is an editor command.
Save a wff by appending it to the file SAVEDWFFS. The
weak label name should not already exist (if it does, remove it
using RW). The wffs that are saved to this file can be reloaded
using the command QLOAD "savedwffs.lisp".
This command dates from before the LIBRARY top level was
introduced; you should probably avoid it. If you want to save
a gwff, use CW to create a weak label, then go into the library
with LIB and use INSERT to save the wff.
The command format for SAVE is:
<Ed>SAVE LABEL <<GWFF>>
TPS documentation homepage