TPSDEF : MODULE

TPSDEF is a module.

It is loaded.
The module allowing definitions of TPS-objects.

NEEDED-MODULES BOOTSTRAP

MACRO-FILES CONTEXTS-CORE CONTEXTS-AUTO CONTEXTS-MAINT CONTEXTS-TEACHER CONTEXTS-ML SUBJECTS-CORE SUBJECTS-AUTO SUBJECTS-TEACHER SUBJECTS-MAINT

FILES TPSTOP ARGTYP FLAGGING GENSTY

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage