EXPAND-ETREE : MATEOP

EXPAND-ETREE is a mating-search command.
Convert the jform proof found by path-focused duplication
procedures MS90-3 and MS90-9 into an expansion proof.
 
The command format for EXPAND-ETREE is:

<Mate>EXPAND-ETREE

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage