equal
deleted
inserted
replaced
142 |
142 |
143 \item {\bf Armin Heller} helped with recipe \ref{rec:sat}. |
143 \item {\bf Armin Heller} helped with recipe \ref{rec:sat}. |
144 |
144 |
145 \item {\bf Alexander Krauss} wrote the first version of the ``first-steps'' |
145 \item {\bf Alexander Krauss} wrote the first version of the ``first-steps'' |
146 chapter and also contributed the material on @{text NamedThmsFun}. |
146 chapter and also contributed the material on @{text NamedThmsFun}. |
|
147 |
|
148 \item {\bf Christian Sternagel} proof read the tutorial and made |
|
149 comments. |
147 \end{itemize} |
150 \end{itemize} |
148 |
151 |
149 Please let me know of any omissions. Responsibility for any remaining |
152 Please let me know of any omissions. Responsibility for any remaining |
150 errors lies with me.\bigskip |
153 errors lies with me.\bigskip |
151 |
154 |