src/HOL/ex/document/root.tex
author wenzelm
Sun, 09 Feb 2014 17:41:17 +0100
changeset 55369 713629c2b73c
parent 40945 b8703f63bfb2
child 60078 019347f8dc88
permissions -rw-r--r--
removed junk;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
11585
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
     1
\documentclass[11pt,a4paper]{article}
12023
wenzelm
parents: 11823
diff changeset
     2
\usepackage{isabelle,isabellesym}
40945
b8703f63bfb2 recoded latin1 as utf8;
wenzelm
parents: 19024
diff changeset
     3
\usepackage[utf8]{inputenc}
11823
5a3fcd84e55e guillemot syntax;
wenzelm
parents: 11592
diff changeset
     4
\usepackage[english]{babel}
12357
f7fa60115e4e \usepackage{textcomp};
wenzelm
parents: 12105
diff changeset
     5
\usepackage{textcomp}
19024
80eb6640f3d5 \usepackage{amssymb};
wenzelm
parents: 15871
diff changeset
     6
\usepackage{amssymb}
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
15871
e524119dbf19 *** empty log message ***
bauerg
parents: 12509
diff changeset
    12
\newcommand{\isasymEX}{\isamath{\mathrm{EX}}}
e524119dbf19 *** empty log message ***
bauerg
parents: 12509
diff changeset
    13
\newcommand{\isasymEF}{\isamath{\mathrm{EF}}}
e524119dbf19 *** empty log message ***
bauerg
parents: 12509
diff changeset
    14
\newcommand{\isasymEG}{\isamath{\mathrm{EG}}}
e524119dbf19 *** empty log message ***
bauerg
parents: 12509
diff changeset
    15
\newcommand{\isasymAX}{\isamath{\mathrm{AX}}}
e524119dbf19 *** empty log message ***
bauerg
parents: 12509
diff changeset
    16
\newcommand{\isasymAF}{\isamath{\mathrm{AF}}}
e524119dbf19 *** empty log message ***
bauerg
parents: 12509
diff changeset
    17
\newcommand{\isasymAG}{\isamath{\mathrm{AG}}}
e524119dbf19 *** empty log message ***
bauerg
parents: 12509
diff changeset
    18
e524119dbf19 *** empty log message ***
bauerg
parents: 12509
diff changeset
    19
e524119dbf19 *** empty log message ***
bauerg
parents: 12509
diff changeset
    20
11585
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
    21
\begin{document}
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
    22
11592
wenzelm
parents: 11585
diff changeset
    23
\title{Miscellaneous HOL Examples}
11585
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
    24
\maketitle
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
    25
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
    26
\tableofcontents
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
    27
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
    28
\parindent 0pt\parskip 0.5ex
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
    29
\input{session}
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
    30
12105
wenzelm
parents: 12023
diff changeset
    31
\bibliographystyle{abbrv}
wenzelm
parents: 12023
diff changeset
    32
\bibliography{root}
wenzelm
parents: 12023
diff changeset
    33
11585
35a79fd062f7 document setup;
wenzelm
parents:
diff changeset
    34
\end{document}