diff -r be1186cb03ce -r 95a33ff3984b src/Doc/ProgProve/document/intro-isabelle.tex
--- a/src/Doc/ProgProve/document/intro-isabelle.tex	Sun Nov 24 13:22:59 2013 +0100
+++ b/src/Doc/ProgProve/document/intro-isabelle.tex	Sun Nov 24 13:34:23 2013 +0100
@@ -89,5 +89,6 @@
 \ifsem\else
 \paragraph{Acknowledgements}
 I wish to thank the following people for their comments on this document:
-Florian Haftmann, Ren\'{e} Thiemann, Sean Seefried and Christian Sternagel.
+Florian Haftmann, Ren\'{e} Thiemann, Sean Seefried, Christian Sternagel
+and Carl Witty.
 \fi
\ No newline at end of file