MATING-TOP : TPS-FILE

MATING-TOP is a file. Contents define mating-search top-level and MATE command. /home/theorem/tps/lisp/mating-top.lisp is part of module MATING.