diff -r 13fd0a83d3c3 -r 039845fc96bd CookBook/document/root.tex
--- a/CookBook/document/root.tex	Fri Feb 13 09:57:08 2009 +0000
+++ b/CookBook/document/root.tex	Fri Feb 13 14:15:28 2009 +0000
@@ -93,6 +93,10 @@
 \renewcommand{\isataglinenosgray}{\begin{vanishML}\begin{graybox}\resetlinenumber\internallinenumbers}
 \renewcommand{\endisataglinenosgray}{\par\nolinenumbers\end{graybox}\end{vanishML}}
 
+\isakeeptag{small}
+\renewcommand{\isatagsmall}{\begingroup\small}
+\renewcommand{\endisatagsmall}{\endgroup}
+
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \renewenvironment{isabelle}
 {\begin{trivlist}\begin{isabellebody}\small\item\relax}