JUSTIFICATION : ARGTYPE
JUSTIFICATION
is an argument
type
.
The
justification
of a
line
in a proof in the form (
string
wfflist
linelist
).
TPS documentation homepage