SAIL-WFF : MODULE

SAIL-WFF is a module.

It is loaded.
Defines output style SAIL.

NEEDED-MODULES WFF-PRINT

FILES SAIL

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage