equal
deleted
inserted
replaced
116 Research Council (DFG) under grant number URB 165/5-1. |
116 Research Council (DFG) under grant number URB 165/5-1. |
117 |
117 |
118 \begin{itemize} |
118 \begin{itemize} |
119 \item {\bf Stefan Berghofer} wrote nearly all of the ML-code of the |
119 \item {\bf Stefan Berghofer} wrote nearly all of the ML-code of the |
120 \simpleinductive-package and the code for the @{text "chunk"}-antiquotation. He also wrote the first |
120 \simpleinductive-package and the code for the @{text "chunk"}-antiquotation. He also wrote the first |
121 version of the chapter describing the package and has generally be |
121 version of the chapter describing the package and has be |
122 helpful beyond measure with answering questions about Isabelle. |
122 helpful \emph{beyond measure} with answering questions about Isabelle. |
123 |
123 |
124 \item {\bf Sascha Böhme} contributed the recipes in \ref{rec:timeout}, |
124 \item {\bf Sascha Böhme} contributed the recipes in \ref{rec:timeout}, |
125 \ref{rec:config}, \ref{rec:storingdata}, \ref{rec:external} and \ref{rec:oracle}. |
125 \ref{rec:config}, \ref{rec:storingdata}, \ref{rec:external} and \ref{rec:oracle}. |
126 |
126 |
127 \item {\bf Jeremy Dawson} wrote the first version of the chapter |
127 \item {\bf Jeremy Dawson} wrote the first version of the chapter |