diff -r 00d153e32a53 -r 3e30ea95c7aa CookBook/Intro.thy --- a/CookBook/Intro.thy Wed Mar 11 13:42:03 2009 +0000 +++ b/CookBook/Intro.thy Wed Mar 11 17:38:17 2009 +0000 @@ -130,7 +130,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}. + He also wrote section \ref{sec:conversion} and helped with recipe \ref{rec:timing}. \item {\bf Jeremy Dawson} wrote the first version of the chapter about parsing.