Added bibliography.
authorberghofe
Tue Jun 24 10:41:13 2003 +0200 (2003-06-24)
changeset 14068d743b3b8f06e
parent 14067 3cc65d66fa12
child 14069 ace0ee5ed528
Added bibliography.
src/HOL/Lambda/document/root.tex
     1.1 --- a/src/HOL/Lambda/document/root.tex	Tue Jun 24 10:39:46 2003 +0200
     1.2 +++ b/src/HOL/Lambda/document/root.tex	Tue Jun 24 10:41:13 2003 +0200
     1.3 @@ -30,4 +30,7 @@
     1.4  
     1.5  \input{session}
     1.6  
     1.7 +\bibliographystyle{abbrv}
     1.8 +\bibliography{root}
     1.9 +
    1.10  \end{document}