diff -r 91647a8d84a3 -r cdc0bdcfba3f thys/Paper/document/root.bib
--- a/thys/Paper/document/root.bib	Sun May 08 09:49:21 2016 +0100
+++ b/thys/Paper/document/root.bib	Mon May 09 12:09:56 2016 +0100
@@ -219,7 +219,7 @@
 @InProceedings{Coquand2012,
   author =       {T.~Coquand and V.~Siles},
   title =        {{A} {D}ecision {P}rocedure for {R}egular {E}xpression {E}quivalence in {T}ype {T}heory},
-  booktitle = {Proc.~of the 1st Conference on Certified Programs and Proofs (CPP)},
+  booktitle = {Proc.~of the 1st International Conference on Certified Programs and Proofs (CPP)},
   pages =     {119--134},
   year =      {2011},
   volume =    {7086},