260   \item {\bf Armin Heller} helped with recipe \ref{rec:sat}.

   260   \item {\bf Armin Heller} helped with recipe \ref{rec:sat}.

   261 

   261 

   262   \item {\bf Alexander Krauss} wrote a very early version of the ``first-steps'' 

   262   \item {\bf Alexander Krauss} wrote a very early version of the ``first-steps'' 

   263   chapter and also contributed the material on @{ML_funct Named_Thms}.

   263   chapter and also contributed the material on @{ML_funct Named_Thms}.

   264 

   264 

   265   \item {\bf Michael Norrish} proofread parts of the text.

   267   \item {\bf Michael Norrish} proofread parts of the text.

   266 

   268 

   267   \item {\bf Christian Sternagel} proofread the tutorial and made 

   269   \item {\bf Christian Sternagel} proofread the tutorial and made 

   268   many improvemets to the text. 

   270   many improvemets to the text. 

   269   \end{itemize}

   271   \end{itemize}