MATING-MOVE : TPS-FILE
MATING-MOVE
is a file.
Defines
mating-search
moving
operations from wff operations.
/home/theorem/tps/lisp/mating-move.lisp is part of module
MATING
.
TPS documentation homepage