Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | README | 1590 | logplain |
-rw-r--r-- | manifest.txt | 649 | logplain |
-rw-r--r-- | prooftrees.pdf | 911388 | logplain |
-rw-r--r-- | prooftrees.sty | 42970 | logplain |
-rw-r--r-- | prooftrees.tex | 94577 | logplain |
-rw-r--r-- | prooftrees_biber.bib | 899 | logplain |