src/HOL/Auth/document/root.tex
author wenzelm
Mon Aug 31 21:28:08 2015 +0200 (2015-08-31)
changeset 61070 b72a990adfe2
parent 40945 b8703f63bfb2
permissions -rw-r--r--
prefer symbols;
     1 \documentclass[10pt,a4paper,twoside]{article}
     2 \usepackage{graphicx}
     3 \usepackage{amssymb}
     4 \usepackage{textcomp}
     5 \usepackage{latexsym,theorem}
     6 \usepackage{isabelle,isabellesym}
     7 \usepackage{pdfsetup}\urlstyle{rm}
     8 
     9 \begin{document}
    10 
    11 \pagestyle{headings}
    12 \pagenumbering{arabic}
    13 
    14 \title{Security Protocols}
    15 \author{Giampaolo Bella, Frederic Blanqui, Lawrence C. Paulson et al.}
    16 \maketitle
    17 
    18 \tableofcontents
    19 
    20 \begin{center}
    21   \includegraphics[width=\textwidth,height=\textheight,keepaspectratio]{session_graph}
    22 \end{center}
    23 
    24 \newpage
    25 
    26 \parindent 0pt\parskip 0.5ex
    27 
    28 \input{session}
    29 \end{document}