WFF-PARSE : MODULE

WFF-PARSE is a module.

It is loaded.
Defines wff parsing functions common to all styles.

NEEDED-MODULES WFF-PRINT

MACRO-FILES WFFINM

FILES WFFIN TPINF

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage