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