SV-WFF : WFFOPSV-WFF is a wff operation.
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 calling scheme for SV-WFF is:
(SV-WFF LABEL GWFF)
The result is of type IGNORE.
The arguments have the following meaning:
LABEL : Weak Label Name to Save Wff Under
GWFF : Wff to Save
TPS documentation homepage