directory /paper/ @ 129:c1e9c7ab7691

name size permissions
[up] drwxr-xr-x
dir. fig/ drwxr-xr-x
dir. src/ drwxr-xr-x
file Makefile 818 -rw-r--r--
file abstract.tex 2406 -rw-r--r--
file agda.tex 37390 -rw-r--r--
file akasha.tex 19639 -rw-r--r--
file atton-master.pdf 686909 -rw-r--r--
file atton-master.tex 2798 -rw-r--r--
file bussproofs.sty 39800 -rw-r--r--
file cbc-type.tex 33838 -rw-r--r--
file cbc.tex 14231 -rw-r--r--
file escape_agda.rb 553 -rw-r--r--
file history.tex 756 -rw-r--r--
file introduction.tex 4639 -rw-r--r--
file master_paper.sty 12861 -rw-r--r--
file reference.bib 8099 -rw-r--r--
file sources.tex 2019 -rw-r--r--
file summary.tex 3227 -rw-r--r--
file thanks.tex 628 -rw-r--r--
file type.tex 17240 -rw-r--r--