\documentclass{jfp1}
\usepackage{style/utils}
\usepackage{style/names}
\usepackage{style/proof}

\begin{document}

\title	[Witnessing Mutability, Purity and Aliasing for Program Optimisation]
	{Witnessing Mutability, Purity and Aliasing \\ for Program Optimisation \\ (Appendix)}

\author	[Ben Lippmeier]
	{  BEN LIPPMEIER \\
	   School of Computer Science and Engineering \\
	   University of New South Wales, Australia
	   \email{benl@ouroborus.net}
	}

\maketitle

\input{Appendix/Main}
\end{document}
