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

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

   238 

   238 

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

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

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

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

   241 

   241 

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

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

   243   many improvemets to the text. 

   245   many improvemets to the text. 

   244   \end{itemize}

   246   \end{itemize}

   245 

   247 

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

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