
diff -r ffd93dcc269d -r 8cd51a25a7ca ProgTutorial/Intro.thy
--- a/ProgTutorial/Intro.thy	Mon Mar 23 12:13:33 2009 +0100
+++ b/ProgTutorial/Intro.thy	Mon Mar 23 18:17:24 2009 +0100
@@ -144,6 +144,9 @@
 
   \item {\bf Alexander Krauss} wrote the first version of the ``first-steps'' 
   chapter and also contributed the material on @{text NamedThmsFun}.
+
+  \item {\bf Christian Sternagel} proof read the tutorial and made 
+  comments. 
   \end{itemize}
 
   Please let me know of any omissions. Responsibility for any remaining




