OTLRULEP : MODULE

OTLRULEP is a module.

It is loaded.
Defines the interface between the tautology checker and
outline rules.

NEEDED-MODULES OTLNL TPS2-RULEP

FILES OTL-RULEP

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage