ProgTutorial/Intro.thy
changeset 542 4b96e3c8b33e
parent 540 d144fc51fe04
child 553 c53d74b34123
--- 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