TEST-TOP-SEARCH : TPS-FILE

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