equal
deleted
inserted
replaced
250 \simpleinductive-package and the code for the @{text |
250 \simpleinductive-package and the code for the @{text |
251 "chunk"}-antiquotation. He also wrote the first version of chapter |
251 "chunk"}-antiquotation. He also wrote the first version of chapter |
252 \ref{chp:package} describing this package and has been helpful \emph{beyond |
252 \ref{chp:package} describing this package and has been helpful \emph{beyond |
253 measure} with answering questions about Isabelle. |
253 measure} with answering questions about Isabelle. |
254 |
254 |
255 \item {\bf Jasmin Blanchette} helped greatly with section \ref{sec:pretty}. |
255 \item {\bf Jasmin Blanchette} helped greatly with section \ref{sec:pretty} |
|
256 and exercise \ref{fun:killqnt}. |
256 |
257 |
257 \item {\bf Sascha Böhme} contributed the recipes in \ref{rec:timeout}, |
258 \item {\bf Sascha Böhme} contributed the recipes in \ref{rec:timeout}, |
258 \ref{rec:external} and \ref{rec:oracle}. He also wrote section \ref{sec:conversion} |
259 \ref{rec:external} and \ref{rec:oracle}. He also wrote section \ref{sec:conversion} |
259 and helped with recipe \ref{rec:timing}. Parts of section \ref{sec:storing} |
260 and helped with recipe \ref{rec:timing}. Parts of section \ref{sec:storing} |
260 are by him. |
261 are by him. |