Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Analysis/document/root.tex
author hoelzl
Mon, 08 Aug 2016 14:13:14 +0200
changeset 63627 6ddb43c6b711
parent 63497 src/HOL/Multivariate_Analysis/document/root.tex@ef794d2e3754
child 67143 db609ac2c307
permissions -rw-r--r--
rename HOL-Multivariate_Analysis to HOL-Analysis.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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}













068a01b4bc56
document generation for Multivariate_Analysis



huffman


parents: 

diff
changeset




    13


\isabellestyle{it}













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














068a01b4bc56
document generation for Multivariate_Analysis



huffman


parents: 

diff
changeset




    18


\title{Multivariate Analysis}













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









58877






262572d90bc6
modernized header;



wenzelm


parents: 
44359

diff
changeset




    29


\renewcommand{\setisabellecontext}[1]{\markright{THEORY~``#1''}}








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














068a01b4bc56
document generation for Multivariate_Analysis



huffman


parents: 

diff
changeset




    34


\end{document}















isabelle