equal
deleted
inserted
replaced
286 \ref{rec:external} and \ref{rec:oracle}. He also wrote section \ref{sec:conversion} |
286 \ref{rec:external} and \ref{rec:oracle}. He also wrote section \ref{sec:conversion} |
287 and helped with recipe \ref{rec:timing}. Parts of section \ref{sec:storing} |
287 and helped with recipe \ref{rec:timing}. Parts of section \ref{sec:storing} |
288 are by him. |
288 are by him. |
289 |
289 |
290 \item {\bf Lukas Bulwahn} made me aware of a problem with recursive |
290 \item {\bf Lukas Bulwahn} made me aware of a problem with recursive |
291 parsers and contributed exercise \ref{ex:contextfree} and contributed to |
291 parsers and contributed exercise \ref{ex:contextfree} and contributed |
292 recipe \ref{rec:introspection}. |
292 ``introspection'' of theorems |
|
293 \ref{sec:theorems}. |
|
294 |
293 |
295 |
294 \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} |
295 about parsing. |
297 about parsing. |
296 |
298 |
297 \item {\bf Armin Heller} helped with recipe \ref{rec:sat}. |
299 \item {\bf Armin Heller} helped with recipe \ref{rec:sat}. |
298 |
300 |
299 \item {\bf Rafal Kolanski} contributed to recipe \ref{rec:introspection}. |
301 \item {\bf Rafal Kolanski} contributed the ``introspection'' of theorems |
|
302 \ref{sec:theorems}. |
300 |
303 |
301 \item {\bf Alexander Krauss} wrote a very early version of the ``first-steps'' |
304 \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}. |
305 chapter and also contributed the material on @{ML_funct Named_Thms}. |
303 |
306 |
304 \item {\bf Tobias Nipkow} contributed recipe \ref{rec:callml}. |
307 \item {\bf Tobias Nipkow} contributed recipe \ref{rec:callml}. |