Mercurial > hg > Papers > 2018 > nozomi-master
directory /paper/ @ 72:fd984cfd5425
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
 fig/
|
drwxr-xr-x | |
|
src/
|
drwxr-xr-x | |
 Makefile
|
818 | -rw-r--r-- |
|
abstract.tex
|
33 | -rw-r--r-- |
|
abstract_eng.tex
|
45 | -rw-r--r-- |
|
agda.tex
|
33244 | -rw-r--r-- |
|
atton-master.pdf
|
655043 | -rw-r--r-- |
|
atton-master.tex
|
2837 | -rw-r--r-- |
|
bussproofs.sty
|
39800 | -rw-r--r-- |
|
cbc-type.tex
|
31837 | -rw-r--r-- |
|
cbc.tex
|
23910 | -rw-r--r-- |
|
escape_agda.rb
|
553 | -rw-r--r-- |
|
history.tex
|
644 | -rw-r--r-- |
|
introduction.tex
|
4177 | -rw-r--r-- |
|
master_paper.sty
|
12887 | -rw-r--r-- |
|
reference.bib
|
4948 | -rw-r--r-- |
|
sources.tex
|
2013 | -rw-r--r-- |
|
summary.tex
|
3517 | -rw-r--r-- |
|
thanks.tex
|
628 | -rw-r--r-- |
|
type.tex
|
70480 | -rw-r--r-- |