| Name | Size | Modified | ||
|---|---|---|---|---|
| Go up | — | — | ||
| prooftree-doc.dvi | 7.2 KiB | |||
| prooftree-doc.pdf | 79 KiB | |||
| prooftree-doc.tex | 4.9 KiB | |||
| prooftree.sty | 12 KiB | |||
| prooftree.tex | 12 KiB | |||
| QED.sty | 32 KiB |
| Name | Size | Modified | ||
|---|---|---|---|---|
| Go up | — | — | ||
| prooftree-doc.dvi | 7.2 KiB | |||
| prooftree-doc.pdf | 79 KiB | |||
| prooftree-doc.tex | 4.9 KiB | |||
| prooftree.sty | 12 KiB | |||
| prooftree.tex | 12 KiB | |||
| QED.sty | 32 KiB |