src/HOL/Proofs/Lambda/document/root.tex
author wenzelm
Wed, 04 Oct 2017 12:00:53 +0200
changeset 66787 64b47495676d
parent 61978 7ab2dc7ba8f8
child 73406 9939146b90ad
permissions -rw-r--r--
obsolete;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
9813
0c1ce01a5049 document setup;
wenzelm
parents:
diff changeset
     1
\documentclass[11pt,a4paper]{article}
11855
bdae1f29f35d include document graph;
wenzelm
parents: 9813
diff changeset
     2
\usepackage{graphicx}
11944
0594e63e6057 tuned notation;
wenzelm
parents: 11855
diff changeset
     3
\usepackage[english]{babel}
11945
1b540afebf4d Rrightarrow;
wenzelm
parents: 11944
diff changeset
     4
\usepackage{amssymb}
40945
b8703f63bfb2 recoded latin1 as utf8;
wenzelm
parents: 39157
diff changeset
     5
\usepackage{textcomp}
9813
0c1ce01a5049 document setup;
wenzelm
parents:
diff changeset
     6
\usepackage{isabelle,isabellesym,pdfsetup}
0c1ce01a5049 document setup;
wenzelm
parents:
diff changeset
     7
0c1ce01a5049 document setup;
wenzelm
parents:
diff changeset
     8
\isabellestyle{it}
0c1ce01a5049 document setup;
wenzelm
parents:
diff changeset
     9
\renewcommand{\isamarkupsubsubsection}[1]{\subsubsection*{#1}}
0c1ce01a5049 document setup;
wenzelm
parents:
diff changeset
    10
0c1ce01a5049 document setup;
wenzelm
parents:
diff changeset
    11
\begin{document}
0c1ce01a5049 document setup;
wenzelm
parents:
diff changeset
    12
0c1ce01a5049 document setup;
wenzelm
parents:
diff changeset
    13
\title{Fundamental Properties of Lambda-calculus}
0c1ce01a5049 document setup;
wenzelm
parents:
diff changeset
    14
\author{Tobias Nipkow \\ Stefan Berghofer}
0c1ce01a5049 document setup;
wenzelm
parents:
diff changeset
    15
\maketitle
0c1ce01a5049 document setup;
wenzelm
parents:
diff changeset
    16
0c1ce01a5049 document setup;
wenzelm
parents:
diff changeset
    17
\tableofcontents
11855
bdae1f29f35d include document graph;
wenzelm
parents: 9813
diff changeset
    18
bdae1f29f35d include document graph;
wenzelm
parents: 9813
diff changeset
    19
\begin{center}
bdae1f29f35d include document graph;
wenzelm
parents: 9813
diff changeset
    20
  \includegraphics[scale=0.7]{session_graph}  
bdae1f29f35d include document graph;
wenzelm
parents: 9813
diff changeset
    21
\end{center}
bdae1f29f35d include document graph;
wenzelm
parents: 9813
diff changeset
    22
9813
0c1ce01a5049 document setup;
wenzelm
parents:
diff changeset
    23
\newpage
0c1ce01a5049 document setup;
wenzelm
parents:
diff changeset
    24
0c1ce01a5049 document setup;
wenzelm
parents:
diff changeset
    25
\parindent 0pt \parskip 0.5ex
0c1ce01a5049 document setup;
wenzelm
parents:
diff changeset
    26
13031
wenzelm
parents: 11945
diff changeset
    27
\input{session}
9813
0c1ce01a5049 document setup;
wenzelm
parents:
diff changeset
    28
14068
d743b3b8f06e Added bibliography.
berghofe
parents: 13031
diff changeset
    29
\bibliographystyle{abbrv}
d743b3b8f06e Added bibliography.
berghofe
parents: 13031
diff changeset
    30
\bibliography{root}
d743b3b8f06e Added bibliography.
berghofe
parents: 13031
diff changeset
    31
9813
0c1ce01a5049 document setup;
wenzelm
parents:
diff changeset
    32
\end{document}