DEFPCK : TPS-FILE

DEFPCK is a file.
Defines packages as they are known to TPS3.
/home/theorem/tps/bin/defpck.fasl is part of module BOOTSTRAP.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage