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;
paulson@13956
     1
\documentclass[10pt,a4paper,twoside]{article}
paulson@13956
     2
\usepackage{graphicx}
huffman@29907
     3
\usepackage{amssymb}
wenzelm@40945
     4
\usepackage{textcomp}
paulson@13956
     5
\usepackage{latexsym,theorem}
paulson@13956
     6
\usepackage{isabelle,isabellesym}
paulson@13956
     7
\usepackage{pdfsetup}\urlstyle{rm}
paulson@13956
     8
paulson@13956
     9
\begin{document}
paulson@13956
    10
paulson@13956
    11
\pagestyle{headings}
paulson@13956
    12
\pagenumbering{arabic}
paulson@13956
    13
paulson@13956
    14
\title{Security Protocols}
paulson@13956
    15
\author{Giampaolo Bella, Frederic Blanqui, Lawrence C. Paulson et al.}
paulson@13956
    16
\maketitle
paulson@13956
    17
paulson@13956
    18
\tableofcontents
paulson@13956
    19
paulson@13956
    20
\begin{center}
wenzelm@17159
    21
  \includegraphics[width=\textwidth,height=\textheight,keepaspectratio]{session_graph}
paulson@13956
    22
\end{center}
paulson@13956
    23
paulson@13956
    24
\newpage
paulson@13956
    25
paulson@13956
    26
\parindent 0pt\parskip 0.5ex
paulson@13956
    27
paulson@13956
    28
\input{session}
paulson@13956
    29
\end{document}