
diff -r c6b5d1e25cdd -r 5f00958e3c7b ProgTutorial/Intro.thy
--- a/ProgTutorial/Intro.thy	Fri Feb 05 15:49:03 2010 +0100
+++ b/ProgTutorial/Intro.thy	Thu Feb 11 10:44:50 2010 +0100
@@ -239,6 +239,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 Michael Norrish} proofread parts of the text.
+
   \item {\bf Christian Sternagel} proofread the tutorial and made 
   many improvemets to the text. 
   \end{itemize}




