
diff -r 9aa8ef31c70a -r 524b72520c43 ProgTutorial/Intro.thy
--- a/ProgTutorial/Intro.thy	Wed Jun 02 07:05:29 2010 +0200
+++ b/ProgTutorial/Intro.thy	Wed Jun 02 07:19:58 2010 +0200
@@ -266,6 +266,9 @@
 
   \item {\bf Michael Norrish} proofread parts of the text.
 
+  \item {\bf Andreas Schropp} improved and corrected section \ref{sec:univ} and
+   contributed towards section \ref{sec:sorts}.
+
   \item {\bf Christian Sternagel} proofread the tutorial and made 
   many improvemets to the text. 
   \end{itemize}




