--- /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}