LINENUMBER1 : TPS-FILE
LINENUMBER1
is a file.
Defines functions which
update
the proof
outline
and provide
defaults for
line
numbers.
/home/theorem/tps/bin/linenumber1.fasl is part of module
OTLNL
.
TPS documentation homepage