--- a/ProgTutorial/Intro.thy Wed Jun 20 08:29:12 2012 +0100
+++ b/ProgTutorial/Intro.thy Wed Jun 20 08:53:38 2012 +0100
@@ -288,9 +288,8 @@
are by him.
\item {\bf Lukas Bulwahn} made me aware of a problem with recursive
- parsers and contributed exercise \ref{ex:contextfree} and contributed
- ``introspection'' of theorems
- \ref{sec:theorems}.
+ parsers, contributed exercise \ref{ex:contextfree} and contributed
+ to the ``introspection'' of theorems in section \ref{sec:theorems}.
\item {\bf Jeremy Dawson} wrote the first version of chapter \ref{chp:parsing}
@@ -298,8 +297,8 @@
\item {\bf Armin Heller} helped with recipe \ref{rec:sat}.
- \item {\bf Rafal Kolanski} contributed the ``introspection'' of theorems
- \ref{sec:theorems}.
+ \item {\bf Rafal Kolanski} contributed to the ``introspection'' of theorems
+ in section \ref{sec:theorems}.
\item {\bf Alexander Krauss} wrote a very early version of the ``first-steps''
chapter and also contributed the material on @{ML_funct Named_Thms}.