# HG changeset patch
# User kleing
# Date 981466948 -3600
# Node ID b996b1857028b30441e989130605e06c2f1f3f9b
# Parent  100637226ff53a7c76ab2fe82fd218a2dc89950c
tuned

diff -r 100637226ff5 -r b996b1857028 src/HOL/MicroJava/document/root.tex
--- 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}