--- a/src/HOL/NanoJava/document/root.tex Mon Sep 10 18:18:04 2001 +0200
+++ b/src/HOL/NanoJava/document/root.tex Mon Sep 10 18:31:24 2001 +0200
@@ -9,11 +9,6 @@
\addtolength{\voffset}{-2cm}
\addtolength{\textheight}{4cm}
-%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}
{\begin{isabellebody}}