OTLNL : MODULE

OTLNL is a module.

It is loaded.
Creates and updates proof structure.

NEEDED-MODULES WFF-PRINT EVENT-SIGNAL

MACRO-FILES OTL-MACROS OTL-TYP

FILES LINENUMBER1 LINENUMBER2 OTLNL PRTOTL OTL-FILEOUT OTL-REARRANGE OTL-PRT SAVEPROOF PBRIEF

TPS documentation homepage


OTLNL : TPS-FILE

OTLNL is a file.
Defines the functions for maintaining proof outline.
/home/theorem/tps/bin/otlnl.fasl is part of module OTLNL.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage