CookBook/Intro.thy
changeset 120 c39f83d8daeb
parent 119 4536782969fa
child 121 26e5b41faa74
equal deleted inserted replaced
119:4536782969fa 120:c39f83d8daeb
   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