CookBook/Intro.thy
changeset 151 7e0bf13bf743
parent 137 a9685909944d
child 153 c22b507e1407
equal deleted inserted replaced
150:cb39c41548bd 151:7e0bf13bf743
   130 
   130 
   131   \item {\bf Jeremy Dawson} wrote the first version of the chapter
   131   \item {\bf Jeremy Dawson} wrote the first version of the chapter
   132   about parsing.
   132   about parsing.
   133 
   133 
   134   \item {\bf Alexander Krauss} wrote the first version of the ``first-steps'' 
   134   \item {\bf Alexander Krauss} wrote the first version of the ``first-steps'' 
   135   chapter and also contributed recipe \ref{rec:named}.
   135   chapter and also contributed the material on @{text NamedThmsFun}.
   136   \end{itemize}
   136   \end{itemize}
   137 
   137 
   138   Please let me know of any omissions. Responsibility for any remaining
   138   Please let me know of any omissions. Responsibility for any remaining
   139   errors lies with me.
   139   errors lies with me.
   140 *}
   140 *}