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: