diff -r 82c482467d75 -r c53d74b34123 ProgTutorial/Intro.thy
--- a/ProgTutorial/Intro.thy	Sun Dec 15 23:49:05 2013 +0000
+++ b/ProgTutorial/Intro.thy	Thu Mar 13 17:16:49 2014 +0000
@@ -296,7 +296,7 @@
   \item {\bf Jeremy Dawson} wrote the first version of chapter \ref{chp:parsing}
   about parsing.
 
-  \item {\bf Florian Haftmann} helped with maintaining recipe \ref{rec:callml}.
+  %%\item {\bf Florian Haftmann} helped with maintaining recipe \ref{rec:callml}.
 
   \item {\bf Armin Heller} helped with recipe \ref{rec:sat}.
 
@@ -306,7 +306,7 @@
   \item {\bf Alexander Krauss} wrote a very early version of the ``first-steps'' 
   chapter and also contributed the material on @{ML_funct Named_Thms}.
 
-  \item {\bf Tobias Nipkow} contributed recipe \ref{rec:callml}.
+  %%\item {\bf Tobias Nipkow} contributed recipe \ref{rec:callml}.
 
   \item {\bf Michael Norrish} proofread parts of the text.