Mercurial > hg > Papers > 2018 > nozomi-master
directory /poster/modus-ponens/ @ 156:bc9be2d40d0d
| 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.svg
|
24792 | -rw-r--r-- |
|
modus-ponens.tex
|
1404 | -rw-r--r-- |