PRIMITIVE-SUBST : MODULE

PRIMITIVE-SUBST is a module.

It is loaded.
Creates primitive-substitution tool.

NEEDED-MODULES AUTO-BASIC

FILES PRIM PRIM-EDOPS

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage