src/HOL/ex/document/root.tex
author wenzelm
Thu, 08 Nov 2001 23:50:08 +0100
changeset 12105 1e4451999200
parent 12023 d982f98e0f0d
child 12357 f7fa60115e4e
permissions -rw-r--r--
tuned;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
11585
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
     1
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
     2
% $Id$
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
     3
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
     4
\documentclass[11pt,a4paper]{article}
12023
wenzelm
parents: 11823
diff changeset
     5
\usepackage{isabelle,isabellesym}
11823
5a3fcd84e55e guillemot syntax;
wenzelm
parents: 11592
diff changeset
     6
\usepackage[english]{babel}
12023
wenzelm
parents: 11823
diff changeset
     7
\usepackage{pdfsetup}
11585
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
     8
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
     9
\urlstyle{rm}
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
    10
\isabellestyle{it}
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
    11
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
    12
\begin{document}
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
    13
11592
wenzelm
parents: 11585
diff changeset
    14
\title{Miscellaneous HOL Examples}
11585
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
    15
\maketitle
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
    16
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
    17
\tableofcontents
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
    18
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
    19
\parindent 0pt\parskip 0.5ex
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
    20
\input{session}
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
    21
12105
wenzelm
parents: 12023
diff changeset
    22
\bibliographystyle{abbrv}
wenzelm
parents: 12023
diff changeset
    23
\bibliography{root}
wenzelm
parents: 12023
diff changeset
    24
11585
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
    25
\end{document}