Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | LICENSE.txt | 19106 | logplain |
-rw-r--r-- | README.md | 359 | logplain |
-rw-r--r-- | bpextra.sty | 193 | logplain |
-rw-r--r-- | bussproofs-extra.dtx | 22585 | logplain |
-rw-r--r-- | bussproofs-extra.ins | 2118 | logplain |
-rw-r--r-- | bussproofs-extra.pdf | 225363 | logplain |