equal
deleted
inserted
replaced
|
1 |
|
2 % $Id$ |
|
3 |
|
4 \documentclass[11pt,a4paper]{article} |
|
5 \usepackage{graphicx,isabelle,isabellesym,latexsym} |
|
6 \usepackage[latin1]{inputenc} |
|
7 \usepackage{pdfsetup} |
|
8 |
|
9 \urlstyle{rm} |
|
10 \isabellestyle{it} |
|
11 \pagestyle{myheadings} |
|
12 |
|
13 \begin{document} |
|
14 |
|
15 \title{Isabelle/HOL-NSA --- Non-Standard Analysis} |
|
16 \maketitle |
|
17 |
|
18 \tableofcontents |
|
19 |
|
20 \begin{center} |
|
21 \includegraphics[width=\textwidth,height=\textheight,keepaspectratio]{session_graph} |
|
22 \end{center} |
|
23 |
|
24 \newpage |
|
25 |
|
26 \renewcommand{\isamarkupheader}[1]% |
|
27 {\section{\isabellecontext: #1}\markright{THEORY~``\isabellecontext''}} |
|
28 |
|
29 \parindent 0pt\parskip 0.5ex |
|
30 \input{session} |
|
31 |
|
32 \end{document} |