--- a/ProgTutorial/document/root.tex	Fri May 29 12:15:48 2009 +0200
+++ b/ProgTutorial/document/root.tex	Sat May 30 11:12:46 2009 +0200
@@ -1,4 +1,4 @@
-\documentclass[11pt,a4paper]{report}
+\documentclass[11pt,a4paper]{book}
 \usepackage[latin1]{inputenc}
 \usepackage{amsmath,amsthm}
 \usepackage{isabelle}
@@ -15,6 +15,7 @@
 \usepackage{boxedminipage}
 \usepackage{mathpartir}
 \usepackage{flafter}
+\usepackage{makeidx}
 \usepackage{pdfsetup}
 
 \urlstyle{rm}
@@ -24,6 +25,14 @@
 \isadroptag{theory}
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% adding chapters explicitly to the table of content
+\newcommand{\tocentry}[1]{\cleardoublepage\phantomsection\addcontentsline{toc}{chapter}{#1}}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% indexing
+\makeindex
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 % For cross references to the other manuals:
 \usepackage{xr}
 \externaldocument[I-]{implementation}
@@ -149,16 +158,24 @@
         \end{tabular}}
 
 \maketitle
+
+% table of contents
+\tocentry{\contentsname}
 \setcounter{tocdepth}{1}
 \tableofcontents
 
 % generated text of all theories
 \input{session}
 
-\newpage
+% bibliography
+\tocentry{\bibname}
 \bibliographystyle{abbrv}
 \bibliography{root}
 
+% index
+\tocentry{\indexname}
+\printindex
+
 \end{document}
 
 %%% Local Variables: