--- a/src/HOL/Number_Theory/document/root.tex Sat Feb 02 15:52:14 2019 +0100
+++ b/src/HOL/Number_Theory/document/root.tex Mon Feb 04 12:16:03 2019 +0100
@@ -26,5 +26,8 @@
\input{session}
+\bibliographystyle{abbrv}
+\bibliography{root}
+
\end{document}