ProgTutorial/Intro.thy
changeset 525 92a3600e50e4
parent 522 0ed6f49277c4
child 526 9e191bc4a828
--- a/ProgTutorial/Intro.thy	Tue Jun 19 05:17:46 2012 +0100
+++ b/ProgTutorial/Intro.thy	Tue Jun 19 15:02:22 2012 +0100
@@ -288,7 +288,8 @@
   are by him.
 
   \item {\bf Lukas Bulwahn} made me aware of a problem with recursive
-  parsers and contributed exercise \ref{ex:contextfree}.
+  parsers and contributed exercise \ref{ex:contextfree} and contributed to
+  recipe \ref{rec:introspection}.
 
   \item {\bf Jeremy Dawson} wrote the first version of chapter \ref{chp:parsing}
   about parsing.
@@ -298,6 +299,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 Rafal Kolanski} contributed to recipe \ref{rec:introspection}.
+
   \item {\bf Tobias Nipkow} contributed recipe \ref{rec:callml}.
 
   \item {\bf Michael Norrish} proofread parts of the text.