# HG changeset patch
# User nipkow
# Date 1385296463 -3600
# Node ID 95a33ff3984bd78eb5b28c6dda13f689d6f55593
# Parent  be1186cb03ce4264e8eba8449573951b88843946
tuned

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