src/HOL/document/root.tex
author wenzelm
Sun Nov 02 18:21:14 2014 +0100 (2014-11-02)
changeset 58888 9537bf1c4853
parent 40945 b8703f63bfb2
child 61977 f55f28132128
permissions -rw-r--r--
prefer \setisabellecontext;
     1 
     2 \documentclass[11pt,a4paper]{article}
     3 \usepackage{graphicx,isabelle,isabellesym,latexsym}
     4 \usepackage{amssymb}
     5 \usepackage{textcomp}
     6 \usepackage[english]{babel}
     7 \usepackage[only,bigsqcap]{stmaryrd}
     8 \usepackage[utf8]{inputenc}
     9 \usepackage{pdfsetup}
    10 
    11 \urlstyle{rm}
    12 \isabellestyle{it}
    13 \pagestyle{myheadings}
    14 
    15 \begin{document}
    16 
    17 \title{Isabelle/HOL --- Higher-Order Logic}
    18 \maketitle
    19 
    20 \tableofcontents
    21 
    22 \begin{center}
    23   \includegraphics[width=\textwidth,height=\textheight,keepaspectratio]{session_graph}
    24 \end{center}
    25 
    26 \newpage
    27 
    28 \renewcommand{\setisabellecontext}[1]{\markright{THEORY~``#1''}}
    29 
    30 \parindent 0pt\parskip 0.5ex
    31 \input{session}
    32 
    33 \pagestyle{headings}
    34 \bibliographystyle{abbrv}
    35 \bibliography{root}
    36 
    37 \end{document}