src/HOL/Multivariate_Analysis/document/root.tex
author wenzelm
Sun Nov 02 17:09:04 2014 +0100 (2014-11-02)
changeset 58877 262572d90bc6
parent 44359 00af710d857e
child 61977 f55f28132128
permissions -rw-r--r--
modernized header;
huffman@36334
     1
huffman@36334
     2
% HOL/Multivariate_Analysis/document/root.tex
huffman@36334
     3
huffman@36334
     4
\documentclass[11pt,a4paper]{article}
wenzelm@40945
     5
\usepackage{graphicx,isabelle,isabellesym,latexsym,textcomp}
huffman@36334
     6
\usepackage[only,bigsqcap]{stmaryrd}
huffman@36334
     7
\usepackage{pdfsetup}
huffman@36334
     8
huffman@36334
     9
\urlstyle{rm}
huffman@36334
    10
\isabellestyle{it}
huffman@36334
    11
\pagestyle{myheadings}
huffman@36334
    12
huffman@36334
    13
\begin{document}
huffman@36334
    14
huffman@36334
    15
\title{Multivariate Analysis}
huffman@36334
    16
\maketitle
huffman@36334
    17
huffman@36334
    18
\tableofcontents
huffman@36334
    19
huffman@36334
    20
\begin{center}
huffman@44359
    21
  \includegraphics[width=\linewidth]{session_graph}
huffman@36334
    22
\end{center}
huffman@36334
    23
huffman@44359
    24
\newpage
huffman@44359
    25
wenzelm@58877
    26
\renewcommand{\setisabellecontext}[1]{\markright{THEORY~``#1''}}
huffman@36334
    27
huffman@36334
    28
\parindent 0pt\parskip 0.5ex
huffman@36334
    29
\input{session}
huffman@36334
    30
huffman@36334
    31
\end{document}