equal
deleted
inserted
replaced
294 \item {\bf Jeremy Dawson} wrote the first version of chapter \ref{chp:parsing} |
294 \item {\bf Jeremy Dawson} wrote the first version of chapter \ref{chp:parsing} |
295 about parsing. |
295 about parsing. |
296 |
296 |
297 \item {\bf Armin Heller} helped with recipe \ref{rec:sat}. |
297 \item {\bf Armin Heller} helped with recipe \ref{rec:sat}. |
298 |
298 |
|
299 \item {\bf Rafal Kolanski} contributed to recipe \ref{rec:introspection}. |
|
300 |
299 \item {\bf Alexander Krauss} wrote a very early version of the ``first-steps'' |
301 \item {\bf Alexander Krauss} wrote a very early version of the ``first-steps'' |
300 chapter and also contributed the material on @{ML_funct Named_Thms}. |
302 chapter and also contributed the material on @{ML_funct Named_Thms}. |
301 |
|
302 \item {\bf Rafal Kolanski} contributed to recipe \ref{rec:introspection}. |
|
303 |
303 |
304 \item {\bf Tobias Nipkow} contributed recipe \ref{rec:callml}. |
304 \item {\bf Tobias Nipkow} contributed recipe \ref{rec:callml}. |
305 |
305 |
306 \item {\bf Michael Norrish} proofread parts of the text. |
306 \item {\bf Michael Norrish} proofread parts of the text. |
307 |
307 |