OTLSCRIBE : MODULE

OTLSCRIBE is a module.

It is loaded.
Printing proofs in style SCRIBE.

NEEDED-MODULES OTLNL LOGIC-SCRIBE

FILES OTL-SCRIBEOUT

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage