CR-EPROOF-JFORM : WFFOPCR-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
The calling scheme for CR-EPROOF-JFORM is:
The result is of type NIL.
TPS documentation homepage