| Name | Last Modified | Size | Type |
|---|---|---|---|
| ../ | - | Directory | |
| QED.sty | 1996-Jun-24 18:54:00 | 32.1K | text/x-tex;charset=utf-8 |
| 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 | text/x-tex;charset=utf-8 |
| prooftree.sty | 1996-Aug-20 13:15:00 | 12.2K | text/x-tex;charset=utf-8 |
| prooftree.tex | 1996-Aug-20 13:15:00 | 12.2K | text/x-tex;charset=utf-8 |