1
2
\documentclass[11pt,a4paper]{article}
3
\usepackage{isabelle,pdfsetup}
4
5
\begin{document}
6
7
\title{The Hahn-Banach theorem for real vectorspaces}
8
\author{Gertrud Bauer}
9
\maketitle
10
11
\input{session}
12
13
\end{document}