
diff -r cf471fa86091 -r 615762b8d8cb ProgTutorial/Intro.thy
--- a/ProgTutorial/Intro.thy	Sat Jun 16 15:25:47 2012 +0100
+++ b/ProgTutorial/Intro.thy	Mon Jun 18 14:49:09 2012 +0100
@@ -293,6 +293,9 @@
   \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"}, 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'' 




