src/HOL/document/root.tex
author haftmann
Tue Sep 16 09:21:28 2008 +0200 (2008-09-16)
changeset 28231 7dd07bd7bebd
parent 17159 d5060118122e
child 28246 8fc6ea9a2d8c
permissions -rw-r--r--
added babel
wenzelm@12033
     1
wenzelm@12033
     2
% $Id$
wenzelm@12033
     3
wenzelm@12033
     4
\documentclass[11pt,a4paper]{article}
wenzelm@12410
     5
\usepackage{graphicx,isabelle,isabellesym,latexsym}
nipkow@15691
     6
\usepackage{amssymb}
haftmann@28231
     7
\usepackage[english]{babel}
nipkow@15503
     8
\usepackage[only,bigsqcap]{stmaryrd}
wenzelm@12737
     9
\usepackage[latin1]{inputenc}
wenzelm@12033
    10
\usepackage{pdfsetup}
wenzelm@12033
    11
wenzelm@12033
    12
\urlstyle{rm}
wenzelm@12033
    13
\isabellestyle{it}
wenzelm@14608
    14
\pagestyle{myheadings}
wenzelm@12033
    15
wenzelm@12033
    16
\begin{document}
wenzelm@12033
    17
wenzelm@12033
    18
\title{Isabelle/HOL --- Higher-Order Logic}
wenzelm@12033
    19
\maketitle
wenzelm@12033
    20
wenzelm@12033
    21
\tableofcontents
wenzelm@12033
    22
wenzelm@12410
    23
\begin{center}
wenzelm@17159
    24
  \includegraphics[width=\textwidth,height=\textheight,keepaspectratio]{session_graph}
wenzelm@12410
    25
\end{center}
wenzelm@12410
    26
wenzelm@12410
    27
\newpage
wenzelm@12410
    28
wenzelm@14608
    29
\renewcommand{\isamarkupheader}[1]%
wenzelm@14706
    30
{\section{\isabellecontext: #1}\markright{THEORY~``\isabellecontext''}}
wenzelm@14608
    31
wenzelm@12033
    32
\parindent 0pt\parskip 0.5ex
wenzelm@12033
    33
\input{session}
wenzelm@12033
    34
nipkow@16764
    35
\pagestyle{headings}
nipkow@16764
    36
\bibliographystyle{abbrv}
nipkow@16764
    37
\bibliography{root}
nipkow@16764
    38
wenzelm@12033
    39
\end{document}