1.1 --- a/doc-src/IsarImplementation/style.sty	Thu Aug 31 14:53:55 2006 +0200
     1.2 +++ b/doc-src/IsarImplementation/style.sty	Thu Aug 31 17:33:48 2006 +0200
     1.3 @@ -38,7 +38,7 @@
     1.4  \binperiod
     1.5  \underscoreon
     1.6  
     1.7 -\newenvironment{mldecls}{\par\noindent\begingroup\def\isanewline{\\}\begin{tabular}{l}}{\end{tabular}\medskip\endgroup}
     1.8 +\newenvironment{mldecls}{\par\noindent\begingroup\footnotesize\def\isanewline{\\}\begin{tabular}{l}}{\end{tabular}\medskip\endgroup}
     1.9  
    1.10  \isafoldtag{FIXME}
    1.11  \isakeeptag{mlref}