--- 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}