# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1275455998 -7200
# Node ID 524b72520c43d161b568cca2adcc4880b3453ee3
# Parent  9aa8ef31c70a9e64a688fba6518083b2bbacb75f
added Andreas

diff -r 9aa8ef31c70a -r 524b72520c43 ProgTutorial/Essential.thy
--- 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
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}
diff -r 9aa8ef31c70a -r 524b72520c43 ProgTutorial/document/root.tex
--- 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}}
 
diff -r 9aa8ef31c70a -r 524b72520c43 progtutorial.pdf
Binary file progtutorial.pdf has changed