OTLSCHEMA2 : MODULE

OTLSCHEMA2 is a module.

It is loaded.
Module to use theorems as lemmas in other proofs with type inference.

NEEDED-MODULES OTLNL OTLRULES

FILES OTL-SCHEMA2

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage