diff -r 5f003fdf2653 -r 4536782969fa CookBook/Intro.thy
--- a/CookBook/Intro.thy	Sat Feb 14 13:20:21 2009 +0000
+++ b/CookBook/Intro.thy	Sat Feb 14 16:09:04 2009 +0000
@@ -109,5 +109,30 @@
 
 *}
 
+section {* Acknowledgements *}
+
+text {*
+  Financial support for this tutorial was provided by the German 
+  Research Council (DFG) under grant number URB 165/5-1.
+
+  \begin{itemize}
+  \item {\bf Stefan Berghofer} wrote nearly all of the ML-code of the 
+  \simpleinductive-package and the code for the @{text "chunk"}-antiquotation. He also wrote the first
+  version of the chapter describing the package and has generally be 
+  helpful beyond measure with answering questions about Isabelle. 
+
+  \item {\bf Sascha Böhme} contributed the recipes in \ref{rec:timeout}, 
+  \ref{rec:config}, \ref{rec:storingdata}, \ref{rec:external} and \ref{rec:oracle}.
+
+  \item {\bf Jeremy Dawson} wrote the first version of the chapter
+  about parsing.
+
+  \item {\bf Alexander Krauss} wrote the first version of the ``first-steps'' 
+  chapter and also contributed recipe \ref{rec:named}.
+  \end{itemize}
+
+  Please let me know if I forgotten anything. All errors are of course my
+  resposibility.
+*}
 
 end
\ No newline at end of file