--- a/src/HOL/MicroJava/document/root.tex Mon Feb 05 21:33:47 2001 +0100
+++ b/src/HOL/MicroJava/document/root.tex Tue Feb 06 14:42:28 2001 +0100
@@ -13,6 +13,7 @@
%subsection instead of section to make the toc readable
\renewcommand{\thesubsection}{\arabic{subsection}}
\renewcommand{\isamarkupheader}[1]{\newpage\markright{Theory~\isabellecontext}\subsection{#1}}
+\renewcommand{\isamarkupsection}[1]{\subsubsection{#1}}
%remove spaces from the isabelle environment (trivlist makes them too large)
\renewenvironment{isabelle}
@@ -22,7 +23,7 @@
\newcommand{\mJava}{$\mu$Java}
%remove clutter from the toc
-\setcounter{secnumdepth}{2}
+\setcounter{secnumdepth}{3}
\setcounter{tocdepth}{2}
\begin{document}