diff -r a123a64cadeb -r 6fefedeb3428 src/HOL/MicroJava/document/root.tex
--- a/src/HOL/MicroJava/document/root.tex	Wed Aug 30 18:09:20 2000 +0200
+++ b/src/HOL/MicroJava/document/root.tex	Wed Aug 30 21:40:35 2000 +0200
@@ -2,7 +2,20 @@
 \documentclass[11pt,a4paper]{article}
 \usepackage{isabelle,isabellesym,pdfsetup}
 
+\setlength{\parindent}{0cm}
+\setlength{\parskip}{0,5ex}
+
+\addtolength{\hoffset}{-1,5cm}
+\addtolength{\textwidth}{4cm}
+\addtolength{\voffset}{-2cm}
+\addtolength{\textheight}{4cm}
+
+\pagestyle{headings}
+
 \begin{document}
+
+\tableofcontents
+\newpage
 \input{session}
 \end{document}