src/HOL/ex/document/root.tex
author wenzelm
Thu, 27 Sep 2001 15:42:01 +0200
changeset 11585 35a79fd062f7
child 11592 3df838634f2b
permissions -rw-r--r--
document setup;
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}
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
     5
\usepackage{isabelle,isabellesym,pdfsetup}
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
     6
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
     7
\urlstyle{rm}
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
     8
\isabellestyle{it}
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
     9
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
    10
\begin{document}
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
    11
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
    12
\title{Miscellaneous Isabelle/HOL Examples}
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
    13
\maketitle
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
    14
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
    15
\tableofcontents
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
    16
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
    17
\parindent 0pt\parskip 0.5ex
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
    18
\input{session}
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
    19
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
    20
\end{document}