
diff -r 75381fa516cd -r 9c25418db6f0 CookBook/Intro.thy
--- a/CookBook/Intro.thy	Mon Mar 16 03:02:56 2009 +0100
+++ b/CookBook/Intro.thy	Tue Mar 17 01:56:29 2009 +0100
@@ -135,6 +135,8 @@
   \item {\bf Jeremy Dawson} wrote the first version of the chapter
   about parsing.
 
+  \item {\bf Armin Heller} helped with recipe \ref{rec:sat}.
+
   \item {\bf Alexander Krauss} wrote the first version of the ``first-steps'' 
   chapter and also contributed the material on @{text NamedThmsFun}.
   \end{itemize}




