1\documentclass[10pt,a4paper,twoside]{article}
2\usepackage{graphicx}
3\usepackage{latexsym,theorem}
4\usepackage{isabelle,isabellesym}
5\usepackage{pdfsetup}\urlstyle{rm}
6
7\begin{document}
8
9\pagestyle{headings}
10\pagenumbering{arabic}
11
12\title{The UNITY Formalism}
13\author{Sidi Ehmety and Lawrence C. Paulson}
14\maketitle
15
16\tableofcontents
17
18\begin{center}
19  \includegraphics[width=\textwidth,height=\textheight,keepaspectratio]{session_graph}
20\end{center}
21
22\newpage
23
24\parindent 0pt\parskip 0.5ex
25
26\input{session}
27\end{document}
28