diff -r 00921ae66622 -r 7a558c5119b2 ProgTutorial/Intro.thy
--- a/ProgTutorial/Intro.thy	Mon Jun 20 13:59:58 2011 +0100
+++ b/ProgTutorial/Intro.thy	Tue Jun 21 12:53:16 2011 +0100
@@ -252,7 +252,8 @@
   \ref{chp:package} describing this package and has been helpful \emph{beyond
   measure} with answering questions about Isabelle.
 
-  \item {\bf Jasmin Blanchette} helped greatly with section \ref{sec:pretty}.
+  \item {\bf Jasmin Blanchette} helped greatly with section \ref{sec:pretty}
+  and exercise \ref{fun:killqnt}.
 
   \item {\bf Sascha Böhme} contributed the recipes in \ref{rec:timeout}, 
   \ref{rec:external} and \ref{rec:oracle}. He also wrote section \ref{sec:conversion}