READ-RULES : MODULE

READ-RULES is a module.

It is loaded.
Allows reading of rules for help or rules module.

NEEDED-MODULES WFF-PARSE

MACRO-FILES READ-RDEF-MAC

FILES READ-RULEDEFS

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage