\documentclass[11pt,a4paper]{article}\usepackage{isabelle,pdfsetup}\input{notation}\begin{document}\title{The Hahn-Banach Theorem for Real Vectorspaces}\author{Gertrud Bauer}\maketitle\begin{abstract} FIXME\end{abstract}\tableofcontents\input{session}\end{document}