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