
diff -r 9728b0432fb2 -r 0ed6f49277c4 ProgTutorial/Intro.thy
--- a/ProgTutorial/Intro.thy	Mon Jun 18 15:04:34 2012 +0100
+++ b/ProgTutorial/Intro.thy	Mon Jun 18 16:46:38 2012 +0100
@@ -293,9 +293,6 @@
   \item {\bf Jeremy Dawson} wrote the first version of chapter \ref{chp:parsing}
   about parsing.
 
-  \item {\bf Dmitriy Traytel} suggested to use the ML-antiquotation 
-  @{text "command_spec"} in section~\ref{sec:newcommand}, which simplified the code. 
-
   \item {\bf Armin Heller} helped with recipe \ref{rec:sat}.
 
   \item {\bf Alexander Krauss} wrote a very early version of the ``first-steps'' 
@@ -310,6 +307,9 @@
 
   \item {\bf Christian Sternagel} proofread the tutorial and made 
   many improvemets to the text. 
+
+  \item {\bf Dmitriy Traytel} suggested to use the ML-antiquotation 
+  @{text "command_spec"} in section~\ref{sec:newcommand}, which simplified the code. 
   \end{itemize}
 
   Please let me know of any omissions. Responsibility for any remaining




