ProgTutorial/Intro.thy
changeset 560 8d30446d89f0
parent 557 77ea2de0ca62
child 565 cecd7a941885
equal deleted inserted replaced
559:ffa5c4ec9611 560:8d30446d89f0
   319   \item {\bf Christian Sternagel} proofread the tutorial and made 
   319   \item {\bf Christian Sternagel} proofread the tutorial and made 
   320   many improvemets to the text. 
   320   many improvemets to the text. 
   321 
   321 
   322   \item {\bf Dmitriy Traytel} suggested to use the ML-antiquotation 
   322   \item {\bf Dmitriy Traytel} suggested to use the ML-antiquotation 
   323   @{text "command_spec"} in section~\ref{sec:newcommand}, which simplified the code. 
   323   @{text "command_spec"} in section~\ref{sec:newcommand}, which simplified the code. 
       
   324 
       
   325   \item {\bf Piotr Trojanek} proofread the text.
   324   \end{itemize}
   326   \end{itemize}
   325 
   327 
   326   Please let me know of any omissions. Responsibility for any remaining
   328   Please let me know of any omissions. Responsibility for any remaining
   327   errors lies with me.\bigskip
   329   errors lies with me.\bigskip
   328 
   330