Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | QED-.sty | 25715 | logplain |
-rw-r--r-- | QED.sty | 32907 | logplain |
-rw-r--r-- | boxproof-old.tex | 9453 | logplain |
-rw-r--r-- | boxproof.tex | 21596 | logplain |
-rw-r--r-- | prooftree-doc.dvi | 7336 | logplain |
-rw-r--r-- | prooftree-doc.tex | 5056 | logplain |
-rw-r--r-- | prooftree.tex | 12552 | logplain |