# HG changeset patch
# User atton <atton@cr.ie.u-ryukyu.ac.jp>
# Date 1485858391 -32400
# Node ID 6060f56bb5645a8945e2336bbb6168c49262076c
# Parent  70bea06ebdf343559420360faabfe2d6c45aee6e
Add pdf

diff -r 70bea06ebdf3 -r 6060f56bb564 paper/atton-master.pdf
Binary file paper/atton-master.pdf has changed
diff -r 70bea06ebdf3 -r 6060f56bb564 paper/atton-master.tex
--- a/paper/atton-master.tex	Tue Jan 31 17:30:07 2017 +0900
+++ b/paper/atton-master.tex	Tue Jan 31 19:26:31 2017 +0900
@@ -116,8 +116,8 @@
 %chapters
 \input{introduction.tex}
 
-%\input{cbc.tex}
-%\input{type.tex}
+\input{cbc.tex}
+\input{type.tex}
 \input{agda.tex}