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:


The result is of type NIL.

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage