METAWFFS : MODULE

METAWFFS is a module.

It is loaded.
Defines META-WFFS as used in the rules and outline modules.

NEEDED-MODULES WFF-PRINT

MACRO-FILES META-LABEL META-VAR

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage