diff -r 5b75f1c4d7d6 -r 8aa6ff178f36 doc-src/IsarImplementation/style.sty
--- a/doc-src/IsarImplementation/style.sty	Thu Aug 31 14:53:55 2006 +0200
+++ b/doc-src/IsarImplementation/style.sty	Thu Aug 31 17:33:48 2006 +0200
@@ -38,7 +38,7 @@
 \binperiod
 \underscoreon
 
-\newenvironment{mldecls}{\par\noindent\begingroup\def\isanewline{\\}\begin{tabular}{l}}{\end{tabular}\medskip\endgroup}
+\newenvironment{mldecls}{\par\noindent\begingroup\footnotesize\def\isanewline{\\}\begin{tabular}{l}}{\end{tabular}\medskip\endgroup}
 
 \isafoldtag{FIXME}
 \isakeeptag{mlref}