
diff -r ffa5c4ec9611 -r 8d30446d89f0 ProgTutorial/Intro.thy
--- a/ProgTutorial/Intro.thy	Wed Oct 15 23:12:54 2014 +0100
+++ b/ProgTutorial/Intro.thy	Wed Oct 15 23:40:05 2014 +0100
@@ -321,6 +321,8 @@
 
   \item {\bf Dmitriy Traytel} suggested to use the ML-antiquotation 
   @{text "command_spec"} in section~\ref{sec:newcommand}, which simplified the code. 
+
+  \item {\bf Piotr Trojanek} proofread the text.
   \end{itemize}
 
   Please let me know of any omissions. Responsibility for any remaining




