TEST-TOP-TOP : TPS-FILE

TEST-TOP-TOP is a file. Defines top-level for test-top. /home/theorem/tps/lisp/test-top-top.lisp is part of module MATING.