equal
deleted
inserted
replaced
264 |
264 |
265 \item {\bf Tobias Nipkow} contributed recipe \ref{rec:callml}. |
265 \item {\bf Tobias Nipkow} contributed recipe \ref{rec:callml}. |
266 |
266 |
267 \item {\bf Michael Norrish} proofread parts of the text. |
267 \item {\bf Michael Norrish} proofread parts of the text. |
268 |
268 |
|
269 \item {\bf Andreas Schropp} improved and corrected section \ref{sec:univ} and |
|
270 contributed towards section \ref{sec:sorts}. |
|
271 |
269 \item {\bf Christian Sternagel} proofread the tutorial and made |
272 \item {\bf Christian Sternagel} proofread the tutorial and made |
270 many improvemets to the text. |
273 many improvemets to the text. |
271 \end{itemize} |
274 \end{itemize} |
272 |
275 |
273 Please let me know of any omissions. Responsibility for any remaining |
276 Please let me know of any omissions. Responsibility for any remaining |