MODE-ML : MODULE

MODE-ML is a module.

It is loaded.
Defines mode ML, as other files in ML module have to be loaded
in that mode.

FILES ML-MODE

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage