291 parsers and contributed exercise \ref{ex:contextfree}. |
291 parsers and contributed exercise \ref{ex:contextfree}. |
292 |
292 |
293 \item {\bf Jeremy Dawson} wrote the first version of chapter \ref{chp:parsing} |
293 \item {\bf Jeremy Dawson} wrote the first version of chapter \ref{chp:parsing} |
294 about parsing. |
294 about parsing. |
295 |
295 |
|
296 \item {\bf Armin Heller} helped with recipe \ref{rec:sat}. |
|
297 |
|
298 \item {\bf Alexander Krauss} wrote a very early version of the ``first-steps'' |
|
299 chapter and also contributed the material on @{ML_funct Named_Thms}. |
|
300 |
|
301 \item {\bf Tobias Nipkow} contributed recipe \ref{rec:callml}. |
|
302 |
|
303 \item {\bf Michael Norrish} proofread parts of the text. |
|
304 |
|
305 \item {\bf Andreas Schropp} improved and corrected section \ref{sec:univ} and |
|
306 contributed towards section \ref{sec:sorts}. |
|
307 |
|
308 \item {\bf Christian Sternagel} proofread the tutorial and made |
|
309 many improvemets to the text. |
|
310 |
296 \item {\bf Dmitriy Traytel} suggested to use the ML-antiquotation |
311 \item {\bf Dmitriy Traytel} suggested to use the ML-antiquotation |
297 @{text "command_spec"} in section~\ref{sec:newcommand}, which simplified the code. |
312 @{text "command_spec"} in section~\ref{sec:newcommand}, which simplified the code. |
298 |
|
299 \item {\bf Armin Heller} helped with recipe \ref{rec:sat}. |
|
300 |
|
301 \item {\bf Alexander Krauss} wrote a very early version of the ``first-steps'' |
|
302 chapter and also contributed the material on @{ML_funct Named_Thms}. |
|
303 |
|
304 \item {\bf Tobias Nipkow} contributed recipe \ref{rec:callml}. |
|
305 |
|
306 \item {\bf Michael Norrish} proofread parts of the text. |
|
307 |
|
308 \item {\bf Andreas Schropp} improved and corrected section \ref{sec:univ} and |
|
309 contributed towards section \ref{sec:sorts}. |
|
310 |
|
311 \item {\bf Christian Sternagel} proofread the tutorial and made |
|
312 many improvemets to the text. |
|
313 \end{itemize} |
313 \end{itemize} |
314 |
314 |
315 Please let me know of any omissions. Responsibility for any remaining |
315 Please let me know of any omissions. Responsibility for any remaining |
316 errors lies with me.\bigskip |
316 errors lies with me.\bigskip |
317 |
317 |