diff -r ce754ad78bc9 -r c0cae24b9d46 ProgTutorial/Intro.thy
--- a/ProgTutorial/Intro.thy	Fri Oct 02 15:38:14 2009 +0200
+++ b/ProgTutorial/Intro.thy	Sat Oct 03 13:01:39 2009 +0200
@@ -207,8 +207,9 @@
   \item {\bf Jasmin Blanchette} helped greatly with section \ref{sec:pretty}.
 
   \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} and helped with recipe \ref{rec:timing}.
+  \ref{rec:external} and \ref{rec:oracle}. He also wrote section \ref{sec:conversion} 
+  and helped with recipe \ref{rec:timing}. Parts of the section \ref{sec:storing}
+  are by him.
 
   \item {\bf Jeremy Dawson} wrote the first version of the chapter
   about parsing.