diff -r 4536782969fa -r c39f83d8daeb CookBook/Intro.thy
--- a/CookBook/Intro.thy	Sat Feb 14 16:09:04 2009 +0000
+++ b/CookBook/Intro.thy	Sun Feb 15 18:58:21 2009 +0000
@@ -118,8 +118,8 @@
   \begin{itemize}
   \item {\bf Stefan Berghofer} wrote nearly all of the ML-code of the 
   \simpleinductive-package and the code for the @{text "chunk"}-antiquotation. He also wrote the first
-  version of the chapter describing the package and has generally be 
-  helpful beyond measure with answering questions about Isabelle. 
+  version of the chapter describing the package and has be 
+  helpful \emph{beyond measure} with answering questions about Isabelle. 
 
   \item {\bf Sascha Böhme} contributed the recipes in \ref{rec:timeout}, 
   \ref{rec:config}, \ref{rec:storingdata}, \ref{rec:external} and \ref{rec:oracle}.