src/HOL/document/root.tex
author wenzelm
Fri Apr 16 21:00:53 2004 +0200 (2004-04-16)
changeset 14608 9f9d651d676b
parent 12737 b0b012b11a36
child 14706 71590b7733b7
permissions -rw-r--r--
more elaborate header markup;
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}
wenzelm@12737
     6
\usepackage[latin1]{inputenc}
wenzelm@12033
     7
\usepackage{pdfsetup}
wenzelm@12033
     8
wenzelm@12033
     9
\urlstyle{rm}
wenzelm@12033
    10
\isabellestyle{it}
wenzelm@14608
    11
\pagestyle{myheadings}
wenzelm@12033
    12
wenzelm@12033
    13
\begin{document}
wenzelm@12033
    14
wenzelm@12033
    15
\title{Isabelle/HOL --- Higher-Order Logic}
wenzelm@12033
    16
\maketitle
wenzelm@12033
    17
wenzelm@12033
    18
\tableofcontents
wenzelm@12033
    19
wenzelm@12410
    20
\begin{center}
wenzelm@12410
    21
  \includegraphics[scale=0.3]{session_graph}
wenzelm@12410
    22
\end{center}
wenzelm@12410
    23
wenzelm@12410
    24
\newpage
wenzelm@12410
    25
wenzelm@14608
    26
\renewcommand{\isamarkupheader}[1]%
wenzelm@14608
    27
{\section{\isabellecontext: #1}%
wenzelm@14608
    28
\markright{THEORY~``\isabellecontext''}}
wenzelm@14608
    29
wenzelm@12033
    30
\parindent 0pt\parskip 0.5ex
wenzelm@12033
    31
\input{session}
wenzelm@12033
    32
wenzelm@12033
    33
\end{document}