author | nipkow |
Fri, 28 Dec 2018 18:53:19 +0100 | |
changeset 69518 | bf88364c9e94 |
parent 69517 | dc20f278e8f3 |
child 69529 | 4ab9657b3257 |
permissions | -rw-r--r-- |
36334 | 1 |
\documentclass[11pt,a4paper]{article} |
63497
ef794d2e3754
HOL-Multivariate_Analysis: add amssymb to document generation; reintroduce \nexists (cf d51a0a772094)
hoelzl
parents:
61977
diff
changeset
|
2 |
\usepackage{graphicx} |
ef794d2e3754
HOL-Multivariate_Analysis: add amssymb to document generation; reintroduce \nexists (cf d51a0a772094)
hoelzl
parents:
61977
diff
changeset
|
3 |
\usepackage{isabelle} |
ef794d2e3754
HOL-Multivariate_Analysis: add amssymb to document generation; reintroduce \nexists (cf d51a0a772094)
hoelzl
parents:
61977
diff
changeset
|
4 |
\usepackage{isabellesym} |
ef794d2e3754
HOL-Multivariate_Analysis: add amssymb to document generation; reintroduce \nexists (cf d51a0a772094)
hoelzl
parents:
61977
diff
changeset
|
5 |
\usepackage{latexsym} |
ef794d2e3754
HOL-Multivariate_Analysis: add amssymb to document generation; reintroduce \nexists (cf d51a0a772094)
hoelzl
parents:
61977
diff
changeset
|
6 |
\usepackage{textcomp} |
61977 | 7 |
\usepackage{amsmath} |
63497
ef794d2e3754
HOL-Multivariate_Analysis: add amssymb to document generation; reintroduce \nexists (cf d51a0a772094)
hoelzl
parents:
61977
diff
changeset
|
8 |
\usepackage{amssymb} |
36334 | 9 |
\usepackage[only,bigsqcap]{stmaryrd} |
10 |
\usepackage{pdfsetup} |
|
11 |
||
12 |
\urlstyle{rm} |
|
69517 | 13 |
\isabellestyle{literalunderscore} |
36334 | 14 |
\pagestyle{myheadings} |
15 |
||
16 |
\begin{document} |
|
17 |
||
67143 | 18 |
\title{Analysis} |
36334 | 19 |
\maketitle |
20 |
||
21 |
\tableofcontents |
|
22 |
||
23 |
\begin{center} |
|
44359 | 24 |
\includegraphics[width=\linewidth]{session_graph} |
36334 | 25 |
\end{center} |
26 |
||
44359 | 27 |
\newpage |
28 |
||
69517 | 29 |
\renewcommand{\setisabellecontext}[1]{\markright{#1.thy}} |
36334 | 30 |
|
31 |
\parindent 0pt\parskip 0.5ex |
|
32 |
\input{session} |
|
33 |
||
69518 | 34 |
\pagestyle{headings} |
35 |
\bibliographystyle{abbrv} |
|
36 |
\bibliography{root} |
|
37 |
\nocite{dummy} |
|
38 |
||
36334 | 39 |
\end{document} |