Wed, 10 Jul 2013 13:28:24 +0100 added coquand siles paper
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 10 Jul 2013 13:28:24 +0100] rev 380
added coquand siles paper
(0) -300 -100 -30 -10 -1 +1 +10 tip