MATING-MACROS : TPS-FILE

MATING-MACROS is a file. Contains macros needed for mating search. /home/theorem/tps/lisp/mating-macros.lisp is part of module MATING.