LIBRARY1 : TPS-FILE

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