124   describing the package and has been helpful \emph{beyond measure} with

   124   describing the package and has been helpful \emph{beyond measure} with

   125   answering questions about Isabelle.

   125   answering questions about Isabelle.

   126 

   126 

   127   \item {\bf Sascha Böhme} contributed the recipes in \ref{rec:timeout}, 

   127   \item {\bf Sascha Böhme} contributed the recipes in \ref{rec:timeout}, 

   128   \ref{rec:config}, \ref{rec:storingdata}, \ref{rec:external} and \ref{rec:oracle}.

   128   \ref{rec:config}, \ref{rec:storingdata}, \ref{rec:external} and \ref{rec:oracle}.

   129 

   130 

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

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

   131   about parsing.

   132   about parsing.

   132 

   133 

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

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