src/HOL/Library/document/root.tex
author wenzelm
Wed, 08 Mar 2017 10:50:59 +0100
changeset 65151 a7394aa4d21c
parent 61977 f55f28132128
permissions -rw-r--r--
tuned proofs;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
12811
894da6aee971 moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff changeset
     1
\documentclass[11pt,a4paper]{article}
894da6aee971 moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff changeset
     2
\usepackage{ifthen}
40945
b8703f63bfb2 recoded latin1 as utf8;
wenzelm
parents: 37848
diff changeset
     3
\usepackage[utf8]{inputenc}
26590
9114b5fe533a \usepackage[english]{babel} (required for guillemots);
wenzelm
parents: 23101
diff changeset
     4
\usepackage[english]{babel}
61977
f55f28132128 proper latex setup;
wenzelm
parents: 60078
diff changeset
     5
\usepackage{amsmath,amssymb,stmaryrd,textcomp,wasysym}
f55f28132128 proper latex setup;
wenzelm
parents: 60078
diff changeset
     6
\usepackage{isabelle,isabellesym}
22366
f4840bfffe5d \usepackage{amssymb};
wenzelm
parents: 21192
diff changeset
     7
\usepackage{pdfsetup}
12811
894da6aee971 moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff changeset
     8
894da6aee971 moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff changeset
     9
\urlstyle{rm}
894da6aee971 moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff changeset
    10
\isabellestyle{it}
894da6aee971 moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff changeset
    11
\pagestyle{myheadings}
894da6aee971 moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff changeset
    12
894da6aee971 moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff changeset
    13
\begin{document}
894da6aee971 moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff changeset
    14
894da6aee971 moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff changeset
    15
\title{The Supplemental Isabelle/HOL Library}
16763
14443b31ef47 moved Davenport citation to Main, removed author list
nipkow
parents: 14706
diff changeset
    16
\author{}
12811
894da6aee971 moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff changeset
    17
\maketitle
894da6aee971 moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff changeset
    18
894da6aee971 moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff changeset
    19
\tableofcontents
894da6aee971 moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff changeset
    20
\newpage
894da6aee971 moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff changeset
    21
58881
b9556a055632 modernized header;
wenzelm
parents: 42484
diff changeset
    22
\renewcommand{\setisabellecontext}[1]{\markright{THEORY~``#1''}}
12811
894da6aee971 moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff changeset
    23
894da6aee971 moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff changeset
    24
\input{session}
894da6aee971 moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff changeset
    25
894da6aee971 moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff changeset
    26
\pagestyle{headings}
894da6aee971 moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff changeset
    27
\bibliographystyle{abbrv}
894da6aee971 moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff changeset
    28
\bibliography{root}
894da6aee971 moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff changeset
    29
894da6aee971 moved document sources to proper place, *within* Library/Library (!);
wenzelm
parents:
diff changeset
    30
\end{document}