isabelle: src/HOL/Analysis/document/root.tex@bf88364c9e94 (annotated)

36334 068a01b4bc56 document generation for Multivariate_Analysis huffman parents: diff changeset	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 f55f28132128 proper latex setup; wenzelm parents: 58877 diff changeset	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 068a01b4bc56 document generation for Multivariate_Analysis huffman parents: diff changeset	9	\usepackage[only,bigsqcap]{stmaryrd}
068a01b4bc56 document generation for Multivariate_Analysis huffman parents: diff changeset	10	\usepackage{pdfsetup}
068a01b4bc56 document generation for Multivariate_Analysis huffman parents: diff changeset	11
068a01b4bc56 document generation for Multivariate_Analysis huffman parents: diff changeset	12	\urlstyle{rm}
69517 dc20f278e8f3 tuned style and headers nipkow parents: 67143 diff changeset	13	\isabellestyle{literalunderscore}
36334 068a01b4bc56 document generation for Multivariate_Analysis huffman parents: diff changeset	14	\pagestyle{myheadings}
068a01b4bc56 document generation for Multivariate_Analysis huffman parents: diff changeset	15
068a01b4bc56 document generation for Multivariate_Analysis huffman parents: diff changeset	16	\begin{document}
068a01b4bc56 document generation for Multivariate_Analysis huffman parents: diff changeset	17
67143 db609ac2c307 initial version of Analysis document nipkow parents: 63627 diff changeset	18	\title{Analysis}
36334 068a01b4bc56 document generation for Multivariate_Analysis huffman parents: diff changeset	19	\maketitle
068a01b4bc56 document generation for Multivariate_Analysis huffman parents: diff changeset	20
068a01b4bc56 document generation for Multivariate_Analysis huffman parents: diff changeset	21	\tableofcontents
068a01b4bc56 document generation for Multivariate_Analysis huffman parents: diff changeset	22
068a01b4bc56 document generation for Multivariate_Analysis huffman parents: diff changeset	23	\begin{center}
44359 00af710d857e scale dependency graph to fit on page huffman parents: 40945 diff changeset	24	\includegraphics[width=\linewidth]{session_graph}
36334 068a01b4bc56 document generation for Multivariate_Analysis huffman parents: diff changeset	25	\end{center}
068a01b4bc56 document generation for Multivariate_Analysis huffman parents: diff changeset	26
44359 00af710d857e scale dependency graph to fit on page huffman parents: 40945 diff changeset	27	\newpage
00af710d857e scale dependency graph to fit on page huffman parents: 40945 diff changeset	28
69517 dc20f278e8f3 tuned style and headers nipkow parents: 67143 diff changeset	29	\renewcommand{\setisabellecontext}[1]{\markright{#1.thy}}
36334 068a01b4bc56 document generation for Multivariate_Analysis huffman parents: diff changeset	30
068a01b4bc56 document generation for Multivariate_Analysis huffman parents: diff changeset	31	\parindent 0pt\parskip 0.5ex
068a01b4bc56 document generation for Multivariate_Analysis huffman parents: diff changeset	32	\input{session}
068a01b4bc56 document generation for Multivariate_Analysis huffman parents: diff changeset	33
69518 bf88364c9e94 tuned headers etc, added bib-file nipkow parents: 69517 diff changeset	34	\pagestyle{headings}
bf88364c9e94 tuned headers etc, added bib-file nipkow parents: 69517 diff changeset	35	\bibliographystyle{abbrv}
bf88364c9e94 tuned headers etc, added bib-file nipkow parents: 69517 diff changeset	36	\bibliography{root}
bf88364c9e94 tuned headers etc, added bib-file nipkow parents: 69517 diff changeset	37	\nocite{dummy}
bf88364c9e94 tuned headers etc, added bib-file nipkow parents: 69517 diff changeset	38
36334 068a01b4bc56 document generation for Multivariate_Analysis huffman parents: diff changeset	39	\end{document}

author	nipkow
	Fri, 28 Dec 2018 18:53:19 +0100
changeset 69518	bf88364c9e94
parent 69517	dc20f278e8f3
child 69529	4ab9657b3257
permissions	-rw-r--r--