MAINT : LISP-PACK
MAINT is a Lisp package.
System maintenance packages including automatic documentation and
the rules package.
TPS documentation homepage
MAINT : TPS-FILE
MAINT is a file.
Contains functions maintaining TPS.
/home/theorem/tps/bin/maint.fasl is part of module MAINTAIN.
TPS documentation homepage