src/HOL/Library/document/root.tex
author wenzelm
Wed Jun 17 11:03:05 2015 +0200 (2015-06-17)
changeset 60500 903bb1495239
parent 60078 019347f8dc88
child 61977 f55f28132128
permissions -rw-r--r--
isabelle update_cartouches;
wenzelm@12811
     1
\documentclass[11pt,a4paper]{article}
wenzelm@12811
     2
\usepackage{ifthen}
wenzelm@40945
     3
\usepackage[utf8]{inputenc}
wenzelm@26590
     4
\usepackage[english]{babel}
wenzelm@60078
     5
\usepackage{isabelle,isabellesym,amssymb,stmaryrd,textcomp,wasysym}
wenzelm@22366
     6
\usepackage{pdfsetup}
wenzelm@12811
     7
wenzelm@12811
     8
\urlstyle{rm}
wenzelm@12811
     9
\isabellestyle{it}
wenzelm@12811
    10
\pagestyle{myheadings}
wenzelm@12811
    11
wenzelm@12811
    12
\begin{document}
wenzelm@12811
    13
wenzelm@12811
    14
\title{The Supplemental Isabelle/HOL Library}
nipkow@16763
    15
\author{}
wenzelm@12811
    16
\maketitle
wenzelm@12811
    17
wenzelm@12811
    18
\tableofcontents
wenzelm@12811
    19
\newpage
wenzelm@12811
    20
wenzelm@58881
    21
\renewcommand{\setisabellecontext}[1]{\markright{THEORY~``#1''}}
wenzelm@12811
    22
wenzelm@12811
    23
\input{session}
wenzelm@12811
    24
wenzelm@12811
    25
\pagestyle{headings}
wenzelm@12811
    26
\bibliographystyle{abbrv}
wenzelm@12811
    27
\bibliography{root}
wenzelm@12811
    28
wenzelm@12811
    29
\end{document}