1\documentclass[11pt,a4paper]{article}
2\usepackage{graphicx}
3\usepackage[english]{babel}
4\usepackage{amssymb}
5\usepackage{textcomp}
6\usepackage{isabelle,isabellesym,pdfsetup}
7
8\isabellestyle{it}
9\renewcommand{\isamarkupsubsubsection}[1]{\subsubsection*{#1}}
10
11\begin{document}
12
13\title{Fundamental Properties of Lambda-calculus}
14\author{Tobias Nipkow \\ Stefan Berghofer}
15\maketitle
16
17\tableofcontents
18
19\begin{center}
20  \includegraphics[scale=0.7]{session_graph}  
21\end{center}
22
23\newpage
24
25\parindent 0pt \parskip 0.5ex
26
27\input{session}
28
29\bibliographystyle{abbrv}
30\bibliography{root}
31
32\end{document}
33