CONCEPT-WFF : MODULE

CONCEPT-WFF is a module.

It is loaded.
Defines functions for printing and parsing on a Concept.

NEEDED-MODULES WFF-PARSE CONCEPT-BARE

MACRO-FILES CONSTY

FILES CFONT

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage