diff -r 97d22abd7dd7 -r 5aa3140ad52e CookBook/Intro.thy
--- a/CookBook/Intro.thy	Wed Feb 25 10:13:05 2009 +0100
+++ b/CookBook/Intro.thy	Wed Feb 25 10:14:42 2009 +0100
@@ -126,6 +126,7 @@
 
   \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}.
+  He also wrote section \ref{sec:conversion}.
 
   \item {\bf Jeremy Dawson} wrote the first version of the chapter
   about parsing.