--- a/CookBook/document/root.tex	Mon Oct 20 06:22:11 2008 +0000
+++ b/CookBook/document/root.tex	Mon Oct 27 18:48:52 2008 +0100
@@ -36,7 +36,7 @@
 {\hspace{-3pt}\readmoremarginpar{\fbox{\textbf{Read More}}}\it}{}
 
 % to work around a problem with \isanewline
-\renewcommand{\isanewline}{\parindent0pt\parskip0pt\mbox{}\par\mbox{}}
+\renewcommand{\isanewline}{{\parindent0pt\parskip0pt\mbox{}\par\mbox{}}}
 
 \renewenvironment{isabelle}
 {\begin{trivlist}\begin{isabellebody}\small\item\relax}