112 section {* Acknowledgements *}

   113 

   114 text {*

   115   Financial support for this tutorial was provided by the German 

   116   Research Council (DFG) under grant number URB 165/5-1.

   117 

   118   \begin{itemize}

   119   \item {\bf Stefan Berghofer} wrote nearly all of the ML-code of the 

   120   \simpleinductive-package and the code for the @{text "chunk"}-antiquotation. He also wrote the first

   121   version of the chapter describing the package and has generally be 

   122   helpful beyond measure with answering questions about Isabelle. 

   123 

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

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

   126 

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

   128   about parsing.

   129 

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

   131   chapter and also contributed recipe \ref{rec:named}.

   132   \end{itemize}

   133 

   134   Please let me know if I forgotten anything. All errors are of course my

   135   resposibility.

   136 *}