# HG changeset patch
# User berghofe
# Date 1056444073 -7200
# Node ID d743b3b8f06efb20f0b43f3a46bdb221ec8baafc
# Parent  3cc65d66fa120f5f0210e715267779f435b28f8f
Added bibliography.

diff -r 3cc65d66fa12 -r d743b3b8f06e src/HOL/Lambda/document/root.tex
--- a/src/HOL/Lambda/document/root.tex	Tue Jun 24 10:39:46 2003 +0200
+++ b/src/HOL/Lambda/document/root.tex	Tue Jun 24 10:41:13 2003 +0200
@@ -30,4 +30,7 @@
 
 \input{session}
 
+\bibliographystyle{abbrv}
+\bibliography{root}
+
 \end{document}