src/HOL/ex/document/root.tex
author nipkow
Fri Mar 06 17:38:47 2009 +0100 (2009-03-06)
changeset 30313 b2441b0c8d38
parent 19024 80eb6640f3d5
child 40945 b8703f63bfb2
permissions -rw-r--r--
added lemmas
     1 
     2 % $Id$
     3 
     4 \documentclass[11pt,a4paper]{article}
     5 \usepackage{isabelle,isabellesym}
     6 \usepackage[latin1]{inputenc}
     7 \usepackage[english]{babel}
     8 \usepackage{textcomp}
     9 \usepackage{amssymb}
    10 \usepackage{pdfsetup}
    11 
    12 \urlstyle{rm}
    13 \isabellestyle{it}
    14 
    15 \newcommand{\isasymEX}{\isamath{\mathrm{EX}}}
    16 \newcommand{\isasymEF}{\isamath{\mathrm{EF}}}
    17 \newcommand{\isasymEG}{\isamath{\mathrm{EG}}}
    18 \newcommand{\isasymAX}{\isamath{\mathrm{AX}}}
    19 \newcommand{\isasymAF}{\isamath{\mathrm{AF}}}
    20 \newcommand{\isasymAG}{\isamath{\mathrm{AG}}}
    21 
    22 
    23 
    24 \begin{document}
    25 
    26 \title{Miscellaneous HOL Examples}
    27 \maketitle
    28 
    29 \tableofcontents
    30 
    31 \parindent 0pt\parskip 0.5ex
    32 \input{session}
    33 
    34 \bibliographystyle{abbrv}
    35 \bibliography{root}
    36 
    37 \end{document}