133   He also wrote section \ref{sec:conversion} and helped with recipe \ref{rec:timing}.

   133   He also wrote section \ref{sec:conversion} and helped with recipe \ref{rec:timing}.

   134 

   134 

   135   \item {\bf Jeremy Dawson} wrote the first version of the chapter

   135   \item {\bf Jeremy Dawson} wrote the first version of the chapter

   136   about parsing.

   136   about parsing.

   137 

   137 

   138   \item {\bf Alexander Krauss} wrote the first version of the ``first-steps'' 

   140   \item {\bf Alexander Krauss} wrote the first version of the ``first-steps'' 

   139   chapter and also contributed the material on @{text NamedThmsFun}.

   141   chapter and also contributed the material on @{text NamedThmsFun}.

   140   \end{itemize}

   142   \end{itemize}

   141 

   143 

   142   Please let me know of any omissions. Responsibility for any remaining

   144   Please let me know of any omissions. Responsibility for any remaining