
diff -r 96d10631eec2 -r 4b96e3c8b33e ProgTutorial/Intro.thy
--- a/ProgTutorial/Intro.thy	Mon Dec 31 20:20:55 2012 +0000
+++ b/ProgTutorial/Intro.thy	Mon Feb 25 00:33:48 2013 +0000
@@ -296,6 +296,8 @@
   \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 Armin Heller} helped with recipe \ref{rec:sat}.
 
   \item {\bf Rafal Kolanski} contributed to the ``introspection'' of theorems 




