CR-EPROOF-JFORM : WFFOP

CR-EPROOF-JFORM is a wff operation.
Create a new jform for the expansion tree associated with the
current mating-search top-level. You need to use this command only if
you modify the expansion tree interactively and you are constructing a
mating interactively.
 
The calling scheme for CR-EPROOF-JFORM is:

(CR-EPROOF-JFORM)


The result is of type NIL.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage