
diff -r 096776f180fc -r d3cd633e8240 ProgTutorial/Intro.thy
--- a/ProgTutorial/Intro.thy	Tue Mar 24 09:34:03 2009 +0100
+++ b/ProgTutorial/Intro.thy	Tue Mar 24 12:09:38 2009 +0100
@@ -56,7 +56,7 @@
   Then of course there is:
 
   \begin{description}
-  \item[The code.] Which is the ultimate reference for how
+  \item[The code.] It is the ultimate reference for how
   things really work. Therefore you should not hesitate to look at the
   way things are actually implemented. More importantly, it is often
   good to look at code that does similar things as you want to do and
@@ -145,8 +145,8 @@
   \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. 
+  \item {\bf Christian Sternagel} proofread the tutorial and made 
+  comments on the text. 
   \end{itemize}
 
   Please let me know of any omissions. Responsibility for any remaining




