equal
deleted
inserted
replaced
342 measure} with answering questions about Isabelle. |
342 measure} with answering questions about Isabelle. |
343 |
343 |
344 \item {\bf Jasmin Blanchette} helped greatly with section \ref{sec:pretty} |
344 \item {\bf Jasmin Blanchette} helped greatly with section \ref{sec:pretty} |
345 and exercise \ref{fun:killqnt}. |
345 and exercise \ref{fun:killqnt}. |
346 |
346 |
347 \item {\bf Sascha Böhme} contributed the recipes in \ref{rec:timeout}, |
347 \item {\bf Sascha B\"ohme} contributed the recipes in \ref{rec:timeout}, |
348 \ref{rec:external} and \ref{rec:oracle}. He also wrote section \ref{sec:conversion} |
348 \ref{rec:external} and \ref{rec:oracle}. He also wrote section \ref{sec:conversion} |
349 and helped with recipe \ref{rec:timing}. Parts of section \ref{sec:storing} |
349 and helped with recipe \ref{rec:timing}. Parts of section \ref{sec:storing} |
350 are by him. |
350 are by him. |
351 |
351 |
352 \item {\bf Lukas Bulwahn} made me aware of a problem with recursive |
352 \item {\bf Lukas Bulwahn} made me aware of a problem with recursive |