src/HOL/Lambda/document/root.tex
author haftmann
Mon Aug 14 13:46:06 2006 +0200 (2006-08-14)
changeset 20380 14f9f2a1caa6
parent 14068 d743b3b8f06e
child 36862 952b2b102a0a
permissions -rw-r--r--
simplified code generator setup
wenzelm@9813
     1
wenzelm@9813
     2
% $Id$
wenzelm@9813
     3
wenzelm@9813
     4
\documentclass[11pt,a4paper]{article}
wenzelm@11855
     5
\usepackage{graphicx}
wenzelm@11944
     6
\usepackage[english]{babel}
wenzelm@11944
     7
\usepackage[latin1]{inputenc}
wenzelm@11945
     8
\usepackage{amssymb}
wenzelm@9813
     9
\usepackage{isabelle,isabellesym,pdfsetup}
wenzelm@9813
    10
wenzelm@9813
    11
\isabellestyle{it}
wenzelm@9813
    12
\renewcommand{\isamarkupsubsubsection}[1]{\subsubsection*{#1}}
wenzelm@11945
    13
\newcommand{\isasymRrightarrow}{\isamath{\Rrightarrow}}
wenzelm@9813
    14
wenzelm@9813
    15
\begin{document}
wenzelm@9813
    16
wenzelm@9813
    17
\title{Fundamental Properties of Lambda-calculus}
wenzelm@9813
    18
\author{Tobias Nipkow \\ Stefan Berghofer}
wenzelm@9813
    19
\maketitle
wenzelm@9813
    20
wenzelm@9813
    21
\tableofcontents
wenzelm@11855
    22
wenzelm@11855
    23
\begin{center}
wenzelm@11855
    24
  \includegraphics[scale=0.7]{session_graph}  
wenzelm@11855
    25
\end{center}
wenzelm@11855
    26
wenzelm@9813
    27
\newpage
wenzelm@9813
    28
wenzelm@9813
    29
\parindent 0pt \parskip 0.5ex
wenzelm@9813
    30
wenzelm@13031
    31
\input{session}
wenzelm@9813
    32
berghofe@14068
    33
\bibliographystyle{abbrv}
berghofe@14068
    34
\bibliography{root}
berghofe@14068
    35
wenzelm@9813
    36
\end{document}