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