Theorems, lemmas, etc., in appendix.
An implementation of theorems, lemmas, etc., that permits them to be repeated, with their proofs, in an appendix.
The author is Ben Klemens. The package is Copyright © 2003 Ben Klemens.
License: gpl Catalogued: 2007-03-01