
diff -r d94755882e36 -r 94538ddcac9b ProgTutorial/Intro.thy
--- a/ProgTutorial/Intro.thy	Thu May 27 10:39:07 2010 +0200
+++ b/ProgTutorial/Intro.thy	Sat May 29 12:30:02 2010 +0200
@@ -262,6 +262,8 @@
   \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 Michael Norrish} proofread parts of the text.
 
   \item {\bf Christian Sternagel} proofread the tutorial and made 




