# HG changeset patch
# User wenzelm
# Date 1412720019 -7200
# Node ID c78b2223f0011dd8183131916abcfdaa2a5a889f
# Parent  75b9b64ccb584982ff58f93ffdaafd983fd0e0df
proper bibliography;

diff -r 75b9b64ccb58 -r c78b2223f001 src/HOL/Old_Number_Theory/document/root.tex
--- a/src/HOL/Old_Number_Theory/document/root.tex	Tue Oct 07 23:52:34 2014 +0200
+++ b/src/HOL/Old_Number_Theory/document/root.tex	Wed Oct 08 00:13:39 2014 +0200
@@ -53,4 +53,7 @@
 \parindent 0pt\parskip 0.5ex
 \input{session}
 
+\bibliographystyle{abbrv}
+\bibliography{root}
+
 \end{document}