PROOF-OUTLINE : CONTEXT
PROOF-OUTLINE
is a
context
.
Objects used in proof outlines.
TPS documentation homepage