Mercurial > hg > Papers > 2018 > nozomi-master
directory /poster/modus-ponens/ @ 131:ba30f7948580
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
 Makefile
|
652 | -rw-r--r-- |
|
bussproofs.sty
|
39800 | -rw-r--r-- |
|
modus-ponens.pdf
|
5002 | -rw-r--r-- |
|
modus-ponens.tex
|
1404 | -rw-r--r-- |