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 Armin Heller} helped with recipe \ref{rec:sat}.

   301   \item {\bf Armin Heller} helped with recipe \ref{rec:sat}.

   300 

   302 

   301   \item {\bf Rafal Kolanski} contributed to the ``introspection'' of theorems 

   303   \item {\bf Rafal Kolanski} contributed to the ``introspection'' of theorems 

   302   in section \ref{sec:theorems}.

   304   in section \ref{sec:theorems}.

   303 

   305