Added Jim to the author list

Author: simondfoster

document/root.tex

@@ -42,7 +42,7 @@
 \begin{document}
 
 \title{Z Mathematical Toolkit in Isabelle/HOL}
-\author{Simon Foster, Pedro Ribeiro and Frank Zeyda \\[.5ex] University of York, UK \\[2ex] \texttt{\small simon.foster@york.ac.uk}}
+\author{Simon Foster, Pedro Ribeiro, Frank Zeyda, and Jim Woodcock \\[.5ex] University of York, UK \\[2ex] \texttt{\small simon.foster@york.ac.uk}}
 \maketitle
 
 \begin{abstract}