src/HOL/document/root.tex
author wenzelm
Thu Dec 06 17:15:53 2001 +0100 (2001-12-06)
changeset 12410 ef373ec6ade8
parent 12033 69cb2059aadc
child 12737 b0b012b11a36
permissions -rw-r--r--
include session graph;
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@12033
     6
\usepackage{pdfsetup}
wenzelm@12033
     7
wenzelm@12033
     8
\urlstyle{rm}
wenzelm@12033
     9
\isabellestyle{it}
wenzelm@12033
    10
wenzelm@12033
    11
\begin{document}
wenzelm@12033
    12
wenzelm@12033
    13
\title{Isabelle/HOL --- Higher-Order Logic}
wenzelm@12033
    14
\maketitle
wenzelm@12033
    15
wenzelm@12033
    16
\tableofcontents
wenzelm@12033
    17
wenzelm@12410
    18
\begin{center}
wenzelm@12410
    19
  \includegraphics[scale=0.3]{session_graph}
wenzelm@12410
    20
\end{center}
wenzelm@12410
    21
wenzelm@12410
    22
\newpage
wenzelm@12410
    23
wenzelm@12033
    24
\parindent 0pt\parskip 0.5ex
wenzelm@12033
    25
\input{session}
wenzelm@12033
    26
wenzelm@12033
    27
\end{document}