equal
deleted
inserted
replaced
294 |
294 |
295 |
295 |
296 \item {\bf Jeremy Dawson} wrote the first version of chapter \ref{chp:parsing} |
296 \item {\bf Jeremy Dawson} wrote the first version of chapter \ref{chp:parsing} |
297 about parsing. |
297 about parsing. |
298 |
298 |
299 \item {\bf Florian Haftmann} helped with maintaining recipe \ref{rec:callml}. |
299 %%\item {\bf Florian Haftmann} helped with maintaining recipe \ref{rec:callml}. |
300 |
300 |
301 \item {\bf Armin Heller} helped with recipe \ref{rec:sat}. |
301 \item {\bf Armin Heller} helped with recipe \ref{rec:sat}. |
302 |
302 |
303 \item {\bf Rafal Kolanski} contributed to the ``introspection'' of theorems |
303 \item {\bf Rafal Kolanski} contributed to the ``introspection'' of theorems |
304 in section \ref{sec:theorems}. |
304 in section \ref{sec:theorems}. |
305 |
305 |
306 \item {\bf Alexander Krauss} wrote a very early version of the ``first-steps'' |
306 \item {\bf Alexander Krauss} wrote a very early version of the ``first-steps'' |
307 chapter and also contributed the material on @{ML_funct Named_Thms}. |
307 chapter and also contributed the material on @{ML_funct Named_Thms}. |
308 |
308 |
309 \item {\bf Tobias Nipkow} contributed recipe \ref{rec:callml}. |
309 %%\item {\bf Tobias Nipkow} contributed recipe \ref{rec:callml}. |
310 |
310 |
311 \item {\bf Michael Norrish} proofread parts of the text. |
311 \item {\bf Michael Norrish} proofread parts of the text. |
312 |
312 |
313 \item {\bf Andreas Schropp} improved and corrected section \ref{sec:univ} and |
313 \item {\bf Andreas Schropp} improved and corrected section \ref{sec:univ} and |
314 contributed towards section \ref{sec:sorts}. |
314 contributed towards section \ref{sec:sorts}. |