1 \documentclass{article}

     2 \usepackage{isabelle}

     3 \usepackage{isabellesym}

     4 \usepackage{pdfsetup}

     5 \urlstyle{rm}

     6 \isabellestyle{it}

     7 

     8 \begin{document}

     9 

    10 \title{TMs and Separation Logic}

    11 \author{By xz, cu}

    12 \maketitle

    13 

    14 \input{session}

    15 

    16 \end{document}

    17 

    18 %%% Local Variables:

    19 %%% mode: latex

    20 %%% TeX-master: t

    21 %%% End: