src/HOL/ex/document/root.tex
author wenzelm
Tue, 04 Dec 2001 02:02:10 +0100
changeset 12357 f7fa60115e4e
parent 12105 1e4451999200
child 12509 b461efcfc886
permissions -rw-r--r--
\usepackage{textcomp};
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}
12357
f7fa60115e4e \usepackage{textcomp};
wenzelm
parents: 12105
diff changeset
     7
\usepackage{textcomp}
12023
wenzelm
parents: 11823
diff changeset
     8
\usepackage{pdfsetup}
11585
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
     9
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
    10
\urlstyle{rm}
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
    11
\isabellestyle{it}
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
    12
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
    13
\begin{document}
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
    14
11592
wenzelm
parents: 11585
diff changeset
    15
\title{Miscellaneous HOL Examples}
11585
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
    16
\maketitle
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
    17
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
    18
\tableofcontents
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
    19
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
    20
\parindent 0pt\parskip 0.5ex
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
    21
\input{session}
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
    22
12105
wenzelm
parents: 12023
diff changeset
    23
\bibliographystyle{abbrv}
wenzelm
parents: 12023
diff changeset
    24
\bibliography{root}
wenzelm
parents: 12023
diff changeset
    25
11585
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
    26
\end{document}