src/HOL/document/root.tex
author haftmann
Fri, 06 Mar 2009 20:30:18 +0100
changeset 30329 97ce36d801b6
parent 28246 8fc6ea9a2d8c
child 40945 b8703f63bfb2
permissions -rw-r--r--
added babel -- necessary for bind infix syntax
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
12033
69cb2059aadc document setup;
wenzelm
parents:
diff changeset
     1
69cb2059aadc document setup;
wenzelm
parents:
diff changeset
     2
\documentclass[11pt,a4paper]{article}
12410
ef373ec6ade8 include session graph;
wenzelm
parents: 12033
diff changeset
     3
\usepackage{graphicx,isabelle,isabellesym,latexsym}
15691
900cf45ff0a6 _(_|_) is now override_on
nipkow
parents: 15503
diff changeset
     4
\usepackage{amssymb}
30329
97ce36d801b6 added babel -- necessary for bind infix syntax
haftmann
parents: 28246
diff changeset
     5
\usepackage[english]{babel}
15503
38616a65bfbd fixed latex problems by including bigsqcap
nipkow
parents: 14706
diff changeset
     6
\usepackage[only,bigsqcap]{stmaryrd}
12737
b0b012b11a36 \usepackage[latin1]{inputenc};
wenzelm
parents: 12410
diff changeset
     7
\usepackage[latin1]{inputenc}
12033
69cb2059aadc document setup;
wenzelm
parents:
diff changeset
     8
\usepackage{pdfsetup}
69cb2059aadc document setup;
wenzelm
parents:
diff changeset
     9
69cb2059aadc document setup;
wenzelm
parents:
diff changeset
    10
\urlstyle{rm}
69cb2059aadc document setup;
wenzelm
parents:
diff changeset
    11
\isabellestyle{it}
14608
9f9d651d676b more elaborate header markup;
wenzelm
parents: 12737
diff changeset
    12
\pagestyle{myheadings}
12033
69cb2059aadc document setup;
wenzelm
parents:
diff changeset
    13
69cb2059aadc document setup;
wenzelm
parents:
diff changeset
    14
\begin{document}
69cb2059aadc document setup;
wenzelm
parents:
diff changeset
    15
69cb2059aadc document setup;
wenzelm
parents:
diff changeset
    16
\title{Isabelle/HOL --- Higher-Order Logic}
69cb2059aadc document setup;
wenzelm
parents:
diff changeset
    17
\maketitle
69cb2059aadc document setup;
wenzelm
parents:
diff changeset
    18
69cb2059aadc document setup;
wenzelm
parents:
diff changeset
    19
\tableofcontents
69cb2059aadc document setup;
wenzelm
parents:
diff changeset
    20
12410
ef373ec6ade8 include session graph;
wenzelm
parents: 12033
diff changeset
    21
\begin{center}
17159
d5060118122e tuned size of included graph;
wenzelm
parents: 16764
diff changeset
    22
  \includegraphics[width=\textwidth,height=\textheight,keepaspectratio]{session_graph}
12410
ef373ec6ade8 include session graph;
wenzelm
parents: 12033
diff changeset
    23
\end{center}
ef373ec6ade8 include session graph;
wenzelm
parents: 12033
diff changeset
    24
ef373ec6ade8 include session graph;
wenzelm
parents: 12033
diff changeset
    25
\newpage
ef373ec6ade8 include session graph;
wenzelm
parents: 12033
diff changeset
    26
14608
9f9d651d676b more elaborate header markup;
wenzelm
parents: 12737
diff changeset
    27
\renewcommand{\isamarkupheader}[1]%
14706
71590b7733b7 tuned document;
wenzelm
parents: 14608
diff changeset
    28
{\section{\isabellecontext: #1}\markright{THEORY~``\isabellecontext''}}
14608
9f9d651d676b more elaborate header markup;
wenzelm
parents: 12737
diff changeset
    29
12033
69cb2059aadc document setup;
wenzelm
parents:
diff changeset
    30
\parindent 0pt\parskip 0.5ex
69cb2059aadc document setup;
wenzelm
parents:
diff changeset
    31
\input{session}
69cb2059aadc document setup;
wenzelm
parents:
diff changeset
    32
16764
ca81a99c5bc1 added Davenport reference
nipkow
parents: 15691
diff changeset
    33
\pagestyle{headings}
ca81a99c5bc1 added Davenport reference
nipkow
parents: 15691
diff changeset
    34
\bibliographystyle{abbrv}
ca81a99c5bc1 added Davenport reference
nipkow
parents: 15691
diff changeset
    35
\bibliography{root}
ca81a99c5bc1 added Davenport reference
nipkow
parents: 15691
diff changeset
    36
12033
69cb2059aadc document setup;
wenzelm
parents:
diff changeset
    37
\end{document}