directory /final_pre/ @ 7:28f900230c26

name size permissions
[up] drwxr-xr-x
dir. auto/ drwxr-xr-x
dir. modus-ponens/ drwxr-xr-x
dir. src/ drwxr-xr-x
file Makefile 535 -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.aux 1338 -rw-r--r--
file finalPre.bbl 809 -rw-r--r--
file finalPre.blg 905 -rw-r--r--
file finalPre.dvi 22724 -rw-r--r--
file finalPre.log 9183 -rw-r--r--
file finalPre.pdf 174143 -rw-r--r--
file finalPre.tex 13195 -rw-r--r--
file jlisting.sty 6230 -rwxr-xr-x
file picins.sty 17807 -rw-r--r--
file reference.bib 1152 -rw-r--r--