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