document/root.tex

   1 \documentclass[11pt,a4paper]{article}
   2 \usepackage{isabelle,isabellesym}
   3
   4 % further packages required for unusual symbols (see also
   5 % isabellesym.sty), use only when needed
   6
   7 %\usepackage{amssymb}
   8   %for \<leadsto>, \<box>, \<diamond>, \<sqsupset>, \<mho>, \<Join>,
   9   %\<lhd>, \<lesssim>, \<greatersim>, \<lessapprox>, \<greaterapprox>,
  10   %\<triangleq>, \<yen>, \<lozenge>
  11
  12 %\usepackage{eurosym}
  13   %for \<euro>
  14
  15 %\usepackage[only,bigsqcap]{stmaryrd}
  16   %for \<Sqinter>
  17
  18 %\usepackage{eufrak}
  19   %for \<AA> ... \<ZZ>, \<aa> ... \<zz> (also included in amssymb)
  20
  21 %\usepackage{textcomp}
  22   %for \<onequarter>, \<onehalf>, \<threequarters>, \<degree>, \<cent>,
  23   %\<currency>
  24
  25 % this should be the last package used
  26 \usepackage{pdfsetup}
  27
  28 % urls in roman style, theory text in math-similar italics
  29 \urlstyle{rm}
  30 \isabellestyle{it}
  31
  32 % for uniform font size
  33 %\renewcommand{\isastyle}{\isastyleminor}
  34
  35
  36 \begin{document}
  37
  38 \title{Responsible Trust Traversal Protocol (RTTP)}
  39 \author{T.~J.~M.~Makarios}
  40 \maketitle
  41
  42 \tableofcontents
  43
  44 % sane default for proof documents
  45 \parindent 0pt\parskip 0.5ex
  46
  47 % generated text of all theories
  48 \input{session}
  49
  50 % optional bibliography
  51 %\bibliographystyle{abbrv}
  52 %\bibliography{root}
  53
  54 \end{document}
  55
  56 %%% Local Variables:
  57 %%% mode: latex
  58 %%% TeX-master: t
  59 %%% End: