LIBRARY : CONTEXT

LIBRARY is a context.
Library objects.

TPS documentation homepage


LIBRARY : MODULE

LIBRARY is a module.

It is loaded.
Files which allow the use of LIBRARY module.

NEEDED-MODULES REVIEW-FLAGS WFF-PARSE UNIFICATION

MACRO-FILES LIB-MACROS

FILES LIB-OPS LIB-OBJECTS LIBRARY1 LIBRARY2 LIBRARY3 TEST-TOP-LIB LIB-BUG

TPS documentation homepage


LIBRARY : REVIEW-SUBJECT

LIBRARY is a subject.
About the library facility.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage