--- a/doc-src/IsarImplementation/style.sty Fri Sep 15 20:08:38 2006 +0200
+++ b/doc-src/IsarImplementation/style.sty Fri Sep 15 22:56:08 2006 +0200
@@ -37,7 +37,7 @@
\renewcommand{\isadigit}[1]{\isamath{#1}}
-\newenvironment{mldecls}{\par\noindent\begingroup\footnotesize\def\isanewline{\\}\begin{tabular}{l}}{\end{tabular}\medskip\endgroup}
+\newenvironment{mldecls}{\par\noindent\begingroup\footnotesize\def\isanewline{\\}\begin{tabular}{l}}{\end{tabular}\smallskip\endgroup}
\isafoldtag{FIXME}
\isakeeptag{mlref}