| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| LICENSE.txt | 19K | 02-Jun-2019 07:55 |
| README.md | 359 | 02-Jun-2019 07:55 |
| bpextra.sty | 193 | 02-Jun-2019 07:55 |
| bussproofs-extra.dtx | 22K | 02-Jun-2019 07:55 |
| bussproofs-extra.ins | 2118 | 02-Jun-2019 07:55 |
| bussproofs-extra.pdf | 220K | 02-Jun-2019 07:55 |