--- a/ProgTutorial/Essential.thy	Wed Jun 02 07:05:29 2010 +0200
+++ b/ProgTutorial/Essential.thy	Wed Jun 02 07:19:58 2010 +0200
@@ -1291,7 +1291,7 @@
   \end{readmore}
 *}
 
-section {* Sorts (TBD) *}
+section {* Sorts (TBD)\label{sec:sorts} *}
 
 text {*
   Type classes are formal names in the type system which are linked to

--- 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}

--- a/ProgTutorial/document/root.tex	Wed Jun 02 07:05:29 2010 +0200
+++ b/ProgTutorial/document/root.tex	Wed Jun 02 07:19:58 2010 +0200
@@ -164,6 +164,7 @@
         Jeremy & Dawson\\
         Alexander & Krauss\\
         Tobias & Nipkow\\
+        Andreas & Schropp\\
         Christian & Sternagel\\ 
         \end{tabular}}
 

Binary file progtutorial.pdf has changed