# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1265881490 -3600
# Node ID 5f00958e3c7b6c81dc03ebcf6f5daddedc4cd7a9
# Parent  c6b5d1e25cdd39376512382cd5c5ba5cf436406c
typos fixed by Michael Norrish

diff -r c6b5d1e25cdd -r 5f00958e3c7b ProgTutorial/FirstSteps.thy
--- a/ProgTutorial/FirstSteps.thy	Fri Feb 05 15:49:03 2010 +0100
+++ b/ProgTutorial/FirstSteps.thy	Thu Feb 11 10:44:50 2010 +0100
@@ -638,7 +638,7 @@
   These two functions can, for example, be used to avoid explicit @{text "lets"} for
   intermediate values in functions that return pairs. As an example, suppose you
   want to separate a list of integers into two lists according to a
-  treshold. If the treshold is @{ML "5"}, the list @{ML "[1,6,2,5,3,4]"}
+  threshold. If the threshold is @{ML "5"}, the list @{ML "[1,6,2,5,3,4]"}
   should be separated as @{ML "([1,2,3,4], [6,5])"}.  Such a function can be
   implemented as
 *}
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}
diff -r c6b5d1e25cdd -r 5f00958e3c7b progtutorial.pdf
Binary file progtutorial.pdf has changed