| Name↓ | Last Modified: | Size: | Type: |
|---|---|---|---|
| ../ | - | Directory | |
| prooftree-doc.dvi | 1995-Oct-03 11:53:00 | 7.1K | application/x-dvi |
| prooftree-doc.pdf | 2006-Mar-19 16:02:00 | 78.8K | application/pdf |
| prooftree-doc.tex | 1995-Oct-03 11:53:00 | 4.9K | application/x-tex |
| prooftree.sty | 1996-Aug-20 13:15:00 | 12.2K | application/octet-stream |
| prooftree.tex | 1996-Aug-20 13:15:00 | 12.2K | application/x-tex |
| QED.sty | 1996-Jun-24 18:54:00 | 32.1K | application/octet-stream |