diff -r b88fc9da1970 -r 03c5f0393a2c paper/document/root.tex --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/paper/document/root.tex Tue Mar 25 11:20:36 2014 +0000 @@ -0,0 +1,21 @@ +\documentclass{article} +\usepackage{isabelle} +\usepackage{isabellesym} +\usepackage{pdfsetup} +\urlstyle{rm} +\isabellestyle{it} + +\begin{document} + +\title{TMs and Separation Logic} +\author{By xz, cu} +\maketitle + +\input{session} + +\end{document} + +%%% Local Variables: +%%% mode: latex +%%% TeX-master: t +%%% End: