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