TIMING : TPS-FILE

TIMING is a file. Timing stuff to the mating search package. /home/theorem/tps/lisp/timing.lisp is part of module MS88.