src/HOL/Number_Theory/document/root.tex
author wenzelm
Mon, 15 Feb 2016 14:55:44 +0100
changeset 62337 d3996d5873dd
parent 55370 e6be866b5f5b
child 64317 029e6247210e
permissions -rw-r--r--
proper syntax;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
55370
e6be866b5f5b minimal document;
wenzelm
parents:
diff changeset
     1
\documentclass[11pt,a4paper]{article}
e6be866b5f5b minimal document;
wenzelm
parents:
diff changeset
     2
\usepackage{graphicx}
e6be866b5f5b minimal document;
wenzelm
parents:
diff changeset
     3
\usepackage{isabelle,isabellesym}
e6be866b5f5b minimal document;
wenzelm
parents:
diff changeset
     4
\usepackage{pdfsetup}
e6be866b5f5b minimal document;
wenzelm
parents:
diff changeset
     5
e6be866b5f5b minimal document;
wenzelm
parents:
diff changeset
     6
\urlstyle{rm}
e6be866b5f5b minimal document;
wenzelm
parents:
diff changeset
     7
\isabellestyle{it}
e6be866b5f5b minimal document;
wenzelm
parents:
diff changeset
     8
e6be866b5f5b minimal document;
wenzelm
parents:
diff changeset
     9
e6be866b5f5b minimal document;
wenzelm
parents:
diff changeset
    10
\begin{document}
e6be866b5f5b minimal document;
wenzelm
parents:
diff changeset
    11
e6be866b5f5b minimal document;
wenzelm
parents:
diff changeset
    12
\title{Various results of number theory}
e6be866b5f5b minimal document;
wenzelm
parents:
diff changeset
    13
\maketitle
e6be866b5f5b minimal document;
wenzelm
parents:
diff changeset
    14
e6be866b5f5b minimal document;
wenzelm
parents:
diff changeset
    15
\tableofcontents
e6be866b5f5b minimal document;
wenzelm
parents:
diff changeset
    16
e6be866b5f5b minimal document;
wenzelm
parents:
diff changeset
    17
\begin{center}
e6be866b5f5b minimal document;
wenzelm
parents:
diff changeset
    18
  \includegraphics[width=\textwidth,height=\textheight,keepaspectratio]{session_graph}
e6be866b5f5b minimal document;
wenzelm
parents:
diff changeset
    19
\end{center}
e6be866b5f5b minimal document;
wenzelm
parents:
diff changeset
    20
e6be866b5f5b minimal document;
wenzelm
parents:
diff changeset
    21
\newpage
e6be866b5f5b minimal document;
wenzelm
parents:
diff changeset
    22
e6be866b5f5b minimal document;
wenzelm
parents:
diff changeset
    23
\parindent 0pt\parskip 0.5ex
e6be866b5f5b minimal document;
wenzelm
parents:
diff changeset
    24
e6be866b5f5b minimal document;
wenzelm
parents:
diff changeset
    25
\input{session}
e6be866b5f5b minimal document;
wenzelm
parents:
diff changeset
    26
e6be866b5f5b minimal document;
wenzelm
parents:
diff changeset
    27
\end{document}
e6be866b5f5b minimal document;
wenzelm
parents:
diff changeset
    28