# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1373459304 -3600
# Node ID c028b07a4fa81df74cdd9389037c7c3b880c2f81
# Parent  8c4b6fb43ebee0033a7e95ce85482cf5aa1ef0eb
added coquand siles paper

diff -r 8c4b6fb43ebe -r c028b07a4fa8 Literature/coquand-siles.pdf
Binary file Literature/coquand-siles.pdf has changed