src/HOL/Multivariate_Analysis/document/root.tex
changeset 63627 6ddb43c6b711
parent 63626 44ce6b524ff3
child 63631 2edc8da89edc
child 63633 2accfb71e33b
     1.1 --- a/src/HOL/Multivariate_Analysis/document/root.tex	Fri Aug 05 18:34:57 2016 +0200
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,34 +0,0 @@
     1.4 -\documentclass[11pt,a4paper]{article}
     1.5 -\usepackage{graphicx}
     1.6 -\usepackage{isabelle}
     1.7 -\usepackage{isabellesym}
     1.8 -\usepackage{latexsym}
     1.9 -\usepackage{textcomp}
    1.10 -\usepackage{amsmath}
    1.11 -\usepackage{amssymb}
    1.12 -\usepackage[only,bigsqcap]{stmaryrd}
    1.13 -\usepackage{pdfsetup}
    1.14 -
    1.15 -\urlstyle{rm}
    1.16 -\isabellestyle{it}
    1.17 -\pagestyle{myheadings}
    1.18 -
    1.19 -\begin{document}
    1.20 -
    1.21 -\title{Multivariate Analysis}
    1.22 -\maketitle
    1.23 -
    1.24 -\tableofcontents
    1.25 -
    1.26 -\begin{center}
    1.27 -  \includegraphics[width=\linewidth]{session_graph}
    1.28 -\end{center}
    1.29 -
    1.30 -\newpage
    1.31 -
    1.32 -\renewcommand{\setisabellecontext}[1]{\markright{THEORY~``#1''}}
    1.33 -
    1.34 -\parindent 0pt\parskip 0.5ex
    1.35 -\input{session}
    1.36 -
    1.37 -\end{document}