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