author | wenzelm |
Tue, 09 Mar 2021 21:11:05 +0100 | |
changeset 73404 | 299f6a8faccc |
parent 71060 | 295609359b58 |
permissions | -rw-r--r-- |
69676 | 1 |
\documentclass[11pt,a4paper]{book} |
73404 | 2 |
\usepackage[T1]{fontenc} |
63497
ef794d2e3754
HOL-Multivariate_Analysis: add amssymb to document generation; reintroduce \nexists (cf d51a0a772094)
hoelzl
parents:
61977
diff
changeset
|
3 |
\usepackage{graphicx} |
ef794d2e3754
HOL-Multivariate_Analysis: add amssymb to document generation; reintroduce \nexists (cf d51a0a772094)
hoelzl
parents:
61977
diff
changeset
|
4 |
\usepackage{isabelle} |
ef794d2e3754
HOL-Multivariate_Analysis: add amssymb to document generation; reintroduce \nexists (cf d51a0a772094)
hoelzl
parents:
61977
diff
changeset
|
5 |
\usepackage{isabellesym} |
ef794d2e3754
HOL-Multivariate_Analysis: add amssymb to document generation; reintroduce \nexists (cf d51a0a772094)
hoelzl
parents:
61977
diff
changeset
|
6 |
\usepackage{latexsym} |
ef794d2e3754
HOL-Multivariate_Analysis: add amssymb to document generation; reintroduce \nexists (cf d51a0a772094)
hoelzl
parents:
61977
diff
changeset
|
7 |
\usepackage{textcomp} |
61977 | 8 |
\usepackage{amsmath} |
63497
ef794d2e3754
HOL-Multivariate_Analysis: add amssymb to document generation; reintroduce \nexists (cf d51a0a772094)
hoelzl
parents:
61977
diff
changeset
|
9 |
\usepackage{amssymb} |
36334 | 10 |
\usepackage[only,bigsqcap]{stmaryrd} |
11 |
\usepackage{pdfsetup} |
|
12 |
||
69608 | 13 |
\usepackage{tocloft} |
71060 | 14 |
\setlength{\cftsubsecnumwidth}{3.5em} |
69608 | 15 |
\cftsetpnumwidth{2em} |
16 |
\cftsetrmarg{3em} |
|
71060 | 17 |
\renewcommand\cftchapafterpnum{\vskip5pt} |
18 |
\addtolength{\cftsubsecindent}{-1\cftsecindent}% Reduce indent for \subsection |
|
19 |
\setlength{\cftsecindent}{0pt}% Remove indent for \section |
|
20 |
%\renewcommand{\numberline}[1]{#1~}% More compact but uneven indentation |
|
69608 | 21 |
|
36334 | 22 |
\urlstyle{rm} |
69517 | 23 |
\isabellestyle{literalunderscore} |
36334 | 24 |
\pagestyle{myheadings} |
25 |
||
71060 | 26 |
\raggedbottom |
27 |
||
36334 | 28 |
\begin{document} |
29 |
||
67143 | 30 |
\title{Analysis} |
36334 | 31 |
\maketitle |
32 |
||
33 |
\tableofcontents |
|
34 |
||
35 |
\begin{center} |
|
69608 | 36 |
\includegraphics[height=\textheight]{session_graph} |
36334 | 37 |
\end{center} |
38 |
||
44359 | 39 |
\newpage |
40 |
||
69529 | 41 |
\renewcommand{\setisabellecontext}[1]{\markright{\href{#1.html}{#1.thy}}} |
36334 | 42 |
|
43 |
\parindent 0pt\parskip 0.5ex |
|
44 |
\input{session} |
|
45 |
||
69518 | 46 |
\pagestyle{headings} |
47 |
\bibliographystyle{abbrv} |
|
48 |
\bibliography{root} |
|
49 |
\nocite{dummy} |
|
50 |
||
36334 | 51 |
\end{document} |