JUSTIFICATION : ARGTYPE

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

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage