You can get the contents of this directory bundled as a zip file.
| Identifier | Caption |
|---|---|
| proofs | Macros for building proof trees. |
| qed | Produce an "end-of-proof" mark. |
| Name | Size* | Date UTC | Notes |
|---|---|---|---|
| QED.sty | 32 KiB | 1996-Jun-24 | package: qed |
| prooftree-doc.dvi | 7 KiB | 1995-Oct-03 | |
| prooftree-doc.pdf | 79 KiB | 2006-Mar-19 | |
| prooftree-doc.tex | 5 KiB | 1995-Oct-03 | |
| prooftree.sty | 12 KiB | 1996-Aug-20 | another name for /macros/generic/proofs/taylor/prooftree.tex |
| prooftree.tex | 12 KiB | 1996-Aug-20 |
*File sizes in kibibytes.