directory /final_pre/ @ 10:a01801c32db7

name size permissions
[up] drwxr-xr-x
dir. auto/ drwxr-xr-x
dir. fig/ drwxr-xr-x
dir. modus-ponens/ drwxr-xr-x
dir. src/ drwxr-xr-x
file Makefile 529 -rwxr-xr-x
file bussproofs.sty 39800 -rwxr-xr-x
file dummy.tex 2712 -rw-r--r--
file fancyhdr.sty 10663 -rw-r--r--
file finalPre.pdf 157007 -rw-r--r--
file finalPre.tex 14687 -rw-r--r--
file jlisting.sty 6230 -rwxr-xr-x
file picins.sty 17807 -rw-r--r--
file reference.bib 1152 -rw-r--r--