Added bibliography.

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