--- a/CookBook/document/root.tex	Tue Oct 14 01:33:55 2008 -0400
+++ b/CookBook/document/root.tex	Fri Oct 17 05:02:04 2008 -0400
@@ -21,8 +21,9 @@
 
 \urlstyle{rm}
 \renewcommand{\isastyletxt}{\isastyletext}% use same formatting for txt and text
-\renewcommand{\isastyle}{\isastyleminor}% use same formatting for txt and text
-\isadroptag{theory}
+\renewcommand{\isastyleminor}{\tt\slshape}%
+\renewcommand{\isastyle}{\small\tt\slshape}%
+%%\isadroptag{theory}
 
 % sane default for proof documents
 \parindent 0pt\parskip 0.6ex
@@ -34,6 +35,13 @@
 \newenvironment{readmore}%
 {\hspace{-3pt}\readmoremarginpar{\fbox{\textbf{Read More}}}\it}{}
 
+% to work around a problem with \isanewline
+\renewcommand{\isanewline}{\parindent0pt\parskip0pt\mbox{}\par\mbox{}}
+
+\renewenvironment{isabelle}
+{\begin{trivlist}\begin{isabellebody}\small\item\relax}
+{\end{isabellebody}\end{trivlist}}
+
 % for exercises and comments
 \newtheorem{exercise}{Exercise}[section]
 \newcommand{\solution}[1]{{\bf Solution for Exercise~\ref{#1}.}}