DELETE-DUPLICATE-CONNS : WFFOP

DELETE-DUPLICATE-CONNS is a wff operation.
Deletes duplicate connections from a mating. This should be necessary
only for propositional formulas.
 
The calling scheme for DELETE-DUPLICATE-CONNS is:

(DELETE-DUPLICATE-CONNS)


The result is of type NIL.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage