src/HOL/document/root.tex
changeset 12410 ef373ec6ade8
parent 12033 69cb2059aadc
child 12737 b0b012b11a36
equal deleted inserted replaced
12409:25bf458af885 12410:ef373ec6ade8
     1 
     1 
     2 % $Id$
     2 % $Id$
     3 
     3 
     4 \documentclass[11pt,a4paper]{article}
     4 \documentclass[11pt,a4paper]{article}
     5 \usepackage{isabelle,isabellesym,latexsym}
     5 \usepackage{graphicx,isabelle,isabellesym,latexsym}
     6 \usepackage{pdfsetup}
     6 \usepackage{pdfsetup}
     7 
     7 
     8 \urlstyle{rm}
     8 \urlstyle{rm}
     9 \isabellestyle{it}
     9 \isabellestyle{it}
    10 
    10 
    13 \title{Isabelle/HOL --- Higher-Order Logic}
    13 \title{Isabelle/HOL --- Higher-Order Logic}
    14 \maketitle
    14 \maketitle
    15 
    15 
    16 \tableofcontents
    16 \tableofcontents
    17 
    17 
       
    18 \begin{center}
       
    19   \includegraphics[scale=0.3]{session_graph}
       
    20 \end{center}
       
    21 
       
    22 \newpage
       
    23 
    18 \parindent 0pt\parskip 0.5ex
    24 \parindent 0pt\parskip 0.5ex
    19 \input{session}
    25 \input{session}
    20 
    26 
    21 \end{document}
    27 \end{document}