src/HOL/Library/document/root.tex
author haftmann
Wed Jul 18 20:51:21 2018 +0200 (12 months ago)
changeset 68658 16cc1161ad7f
parent 61977 f55f28132128
permissions -rw-r--r--
tuned equation
     1 \documentclass[11pt,a4paper]{article}
     2 \usepackage{ifthen}
     3 \usepackage[utf8]{inputenc}
     4 \usepackage[english]{babel}
     5 \usepackage{amsmath,amssymb,stmaryrd,textcomp,wasysym}
     6 \usepackage{isabelle,isabellesym}
     7 \usepackage{pdfsetup}
     8 
     9 \urlstyle{rm}
    10 \isabellestyle{it}
    11 \pagestyle{myheadings}
    12 
    13 \begin{document}
    14 
    15 \title{The Supplemental Isabelle/HOL Library}
    16 \author{}
    17 \maketitle
    18 
    19 \tableofcontents
    20 \newpage
    21 
    22 \renewcommand{\setisabellecontext}[1]{\markright{THEORY~``#1''}}
    23 
    24 \input{session}
    25 
    26 \pagestyle{headings}
    27 \bibliographystyle{abbrv}
    28 \bibliography{root}
    29 
    30 \end{document}