by
Graham Williams
CTAN Edition
proofs
Macros for building proof trees.
This package was implemented by Paul Taylor and catalogued for
CTAN
.
License:
unknown
Catalogued:
1999/03/03