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

69676 56acd449da41 chapters for analysis manual immler parents: 69608 diff changeset	1	\documentclass[11pt,a4paper]{book}
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
69608 2b3a247889f8 tuned document layout; wenzelm parents: 69529 diff changeset	12	\usepackage{tocloft}
2b3a247889f8 tuned document layout; wenzelm parents: 69529 diff changeset	13	\setlength{\cftsubsecnumwidth}{3em}
2b3a247889f8 tuned document layout; wenzelm parents: 69529 diff changeset	14	\cftsetpnumwidth{2em}
2b3a247889f8 tuned document layout; wenzelm parents: 69529 diff changeset	15	\cftsetrmarg{3em}
2b3a247889f8 tuned document layout; wenzelm parents: 69529 diff changeset	16
36334 068a01b4bc56 document generation for Multivariate_Analysis huffman parents: diff changeset	17	\urlstyle{rm}
69517 dc20f278e8f3 tuned style and headers nipkow parents: 67143 diff changeset	18	\isabellestyle{literalunderscore}
36334 068a01b4bc56 document generation for Multivariate_Analysis huffman parents: diff changeset	19	\pagestyle{myheadings}
068a01b4bc56 document generation for Multivariate_Analysis huffman parents: diff changeset	20
068a01b4bc56 document generation for Multivariate_Analysis huffman parents: diff changeset	21	\begin{document}
068a01b4bc56 document generation for Multivariate_Analysis huffman parents: diff changeset	22
67143 db609ac2c307 initial version of Analysis document nipkow parents: 63627 diff changeset	23	\title{Analysis}
36334 068a01b4bc56 document generation for Multivariate_Analysis huffman parents: diff changeset	24	\maketitle
068a01b4bc56 document generation for Multivariate_Analysis huffman parents: diff changeset	25
068a01b4bc56 document generation for Multivariate_Analysis huffman parents: diff changeset	26	\tableofcontents
068a01b4bc56 document generation for Multivariate_Analysis huffman parents: diff changeset	27
068a01b4bc56 document generation for Multivariate_Analysis huffman parents: diff changeset	28	\begin{center}
69608 2b3a247889f8 tuned document layout; wenzelm parents: 69529 diff changeset	29	\includegraphics[height=\textheight]{session_graph}
36334 068a01b4bc56 document generation for Multivariate_Analysis huffman parents: diff changeset	30	\end{center}
068a01b4bc56 document generation for Multivariate_Analysis huffman parents: diff changeset	31
44359 00af710d857e scale dependency graph to fit on page huffman parents: 40945 diff changeset	32	\newpage
00af710d857e scale dependency graph to fit on page huffman parents: 40945 diff changeset	33
69529 4ab9657b3257 capitalize proper names in lemma names nipkow parents: 69518 diff changeset	34	\renewcommand{\setisabellecontext}[1]{\markright{\href{#1.html}{#1.thy}}}
36334 068a01b4bc56 document generation for Multivariate_Analysis huffman parents: diff changeset	35
068a01b4bc56 document generation for Multivariate_Analysis huffman parents: diff changeset	36	\parindent 0pt\parskip 0.5ex
068a01b4bc56 document generation for Multivariate_Analysis huffman parents: diff changeset	37	\input{session}
068a01b4bc56 document generation for Multivariate_Analysis huffman parents: diff changeset	38
69518 bf88364c9e94 tuned headers etc, added bib-file nipkow parents: 69517 diff changeset	39	\pagestyle{headings}
bf88364c9e94 tuned headers etc, added bib-file nipkow parents: 69517 diff changeset	40	\bibliographystyle{abbrv}
bf88364c9e94 tuned headers etc, added bib-file nipkow parents: 69517 diff changeset	41	\bibliography{root}
bf88364c9e94 tuned headers etc, added bib-file nipkow parents: 69517 diff changeset	42	\nocite{dummy}
bf88364c9e94 tuned headers etc, added bib-file nipkow parents: 69517 diff changeset	43
36334 068a01b4bc56 document generation for Multivariate_Analysis huffman parents: diff changeset	44	\end{document}

author	immler
	Wed, 16 Jan 2019 19:34:48 -0500
changeset 69676	56acd449da41
parent 69608	2b3a247889f8
child 71060	295609359b58
permissions	-rw-r--r--