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


© 1988-99, Carnegie Mellon University.

TPS homepage