OPS-OTLRULES : MODULE

OPS-OTLRULES is a module.

It is loaded.
Wffops needed by both rule and outline modules.

NEEDED-MODULES WFF-OPS1 WFF-OPS-ABB

FILES WFFOP-OTL

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage