6 files, 263 KiB
| Name | Modified (UTC) | Size |
|---|---|---|
| ../ | ||
| LICENSE.txt | 2019-06-02 07:55 | 19 KiB |
| README.md | 2019-06-02 07:55 | 359 B |
| bpextra.sty | 2019-06-02 07:55 | 193 B |
| bussproofs-extra.dtx | 2019-06-02 07:55 | 22 KiB |
| bussproofs-extra.ins | 2019-06-02 07:55 | 2.1 KiB |
| bussproofs-extra.pdf | 2019-06-02 07:55 | 220 KiB |