equal
deleted
inserted
replaced
209 about parsing. |
209 about parsing. |
210 |
210 |
211 \item {\bf Armin Heller} helped with recipe \ref{rec:sat}. |
211 \item {\bf Armin Heller} helped with recipe \ref{rec:sat}. |
212 |
212 |
213 \item {\bf Alexander Krauss} wrote the first version of the ``first-steps'' |
213 \item {\bf Alexander Krauss} wrote the first version of the ``first-steps'' |
214 chapter and also contributed the material on @{text NamedThmsFun}. |
214 chapter and also contributed the material on @{ML_functor Named_Thms}. |
215 |
215 |
216 \item {\bf Christian Sternagel} proofread the tutorial and made |
216 \item {\bf Christian Sternagel} proofread the tutorial and made |
217 many comments on the text. |
217 many improvemets to the text. |
218 \end{itemize} |
218 \end{itemize} |
219 |
219 |
220 Please let me know of any omissions. Responsibility for any remaining |
220 Please let me know of any omissions. Responsibility for any remaining |
221 errors lies with me.\bigskip |
221 errors lies with me.\bigskip |
222 |
222 |