
diff -r 92a3600e50e4 -r 9e191bc4a828 ProgTutorial/Intro.thy
--- a/ProgTutorial/Intro.thy	Tue Jun 19 15:02:22 2012 +0100
+++ b/ProgTutorial/Intro.thy	Tue Jun 19 15:04:00 2012 +0100
@@ -296,11 +296,11 @@
 
   \item {\bf Armin Heller} helped with recipe \ref{rec:sat}.
 
+  \item {\bf Rafal Kolanski} contributed to recipe \ref{rec:introspection}.
+
   \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.




