REM-CONN* : MATEOP

REM-CONN* is a mating-search command.
Repeatedly call REM-CONN.
 
The command format for REM-CONN* is:

<Mate>REM-CONN*

TPS documentation homepage


REM-CONN* : WFFOP

REM-CONN* is a wff operation.
Repeatedly call REM-CONN.
 
The calling scheme for REM-CONN* is:

(REM-CONN*)


The result is of type IGNORE.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage