author | wenzelm |
Thu, 22 Apr 2021 10:11:11 +0200 | |
changeset 73595 | aece5cc9efb7 |
parent 73406 | 9939146b90ad |
permissions | -rw-r--r-- |
9813 | 1 |
\documentclass[11pt,a4paper]{article} |
73406 | 2 |
\usepackage[T1]{fontenc} |
73595
aece5cc9efb7
simplified typesetting of \<guillemotleft>...\<guillemotright>;
wenzelm
parents:
73406
diff
changeset
|
3 |
\usepackage[T1]{fontenc} |
11855 | 4 |
\usepackage{graphicx} |
11945 | 5 |
\usepackage{amssymb} |
40945 | 6 |
\usepackage{textcomp} |
9813 | 7 |
\usepackage{isabelle,isabellesym,pdfsetup} |
8 |
||
9 |
\isabellestyle{it} |
|
10 |
\renewcommand{\isamarkupsubsubsection}[1]{\subsubsection*{#1}} |
|
11 |
||
12 |
\begin{document} |
|
13 |
||
14 |
\title{Fundamental Properties of Lambda-calculus} |
|
15 |
\author{Tobias Nipkow \\ Stefan Berghofer} |
|
16 |
\maketitle |
|
17 |
||
18 |
\tableofcontents |
|
11855 | 19 |
|
20 |
\begin{center} |
|
21 |
\includegraphics[scale=0.7]{session_graph} |
|
22 |
\end{center} |
|
23 |
||
9813 | 24 |
\newpage |
25 |
||
26 |
\parindent 0pt \parskip 0.5ex |
|
27 |
||
13031 | 28 |
\input{session} |
9813 | 29 |
|
14068 | 30 |
\bibliographystyle{abbrv} |
31 |
\bibliography{root} |
|
32 |
||
9813 | 33 |
\end{document} |