src/HOL/Algebra/document/root.tex
author wenzelm
Sat Nov 04 15:24:40 2017 +0100 (21 months ago)
changeset 67003 49850a679c2c
parent 58867 911addd19e9f
child 68580 a3723b11bd60
permissions -rw-r--r--
more robust sorted_entries;
     1 \documentclass[11pt,a4paper]{article}
     2 \usepackage{graphicx}
     3 \usepackage{isabelle,isabellesym}
     4 \usepackage{amssymb}
     5 \usepackage{textcomp}
     6 \usepackage[utf8]{inputenc}
     7 \usepackage[only,bigsqcap]{stmaryrd}
     8 %\usepackage{amsmath}
     9 
    10 % this should be the last package used
    11 \usepackage{pdfsetup}
    12 
    13 \urlstyle{rm}
    14 \isabellestyle{tt}
    15 \pagestyle{myheadings}
    16 
    17 \begin{document}
    18 
    19 \title{The Isabelle/HOL Algebra Library}
    20 \author{Clemens Ballarin (Editor)}
    21 \date{With contributions by Jesús Aransay, Clemens Ballarin, Stephan Hohe,
    22   Florian Kammüller and Lawrence C Paulson \\
    23   \today}
    24 \maketitle
    25 
    26 \tableofcontents
    27 
    28 \begin{center}
    29   \includegraphics[scale=0.5]{session_graph}
    30 \end{center}
    31 
    32 \clearpage
    33 
    34 \parindent 0pt\parskip 0.5ex
    35 \input{session}
    36 
    37 \pagestyle{headings}
    38 \bibliographystyle{abbrv}
    39 \bibliography{root}
    40 
    41 \end{document}