# HG changeset patch
# User wenzelm
# Date 967927061 -7200
# Node ID 0c1ce01a504979cbea2a44bbd0ed7ffc0e426016
# Parent  87ba969d069c5b058958706ed04f9b7b46ad017d
document setup;

diff -r 87ba969d069c -r 0c1ce01a5049 src/HOL/Lambda/document/root.tex
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOL/Lambda/document/root.tex	Sat Sep 02 22:37:41 2000 +0200
@@ -0,0 +1,31 @@
+
+% $Id$
+
+\documentclass[11pt,a4paper]{article}
+\usepackage{isabelle,isabellesym,pdfsetup}
+
+\isabellestyle{it}
+\renewcommand{\isamarkupsubsubsection}[1]{\subsubsection*{#1}}
+
+\begin{document}
+
+\title{Fundamental Properties of Lambda-calculus}
+\author{Tobias Nipkow \\ Stefan Berghofer}
+\maketitle
+
+\tableofcontents
+\newpage
+
+\parindent 0pt \parskip 0.5ex
+
+\input{Lambda}
+\input{Commutation}
+\input{ParRed}
+\input{Eta}
+\input{ListApplication}
+\input{ListOrder}
+\input{ListBeta}
+\input{InductTermi}
+\input{Type}
+
+\end{document}