LIBRARY2 : TPS-FILE

LIBRARY2 is a file. Defines top-level for library. /home/theorem/tps/lisp/library2.lisp is part of module LIBRARY.