COMMON : ORDERCOMPONENTS

COMMON is an argument for order-components.
COMMON is the same as NIL. If the flag ORDER-COMPONENTS is set to COMMON
then the jform of the current eproof will not be modified by the mating search.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage