--- a/Quotient-Paper/document/root.tex	Sun Nov 07 11:22:31 2010 +0000
+++ b/Quotient-Paper/document/root.tex	Wed Nov 10 13:40:46 2010 +0000
@@ -79,13 +79,10 @@
 \keywords{Quotients, Isabelle theorem prover, Higher-Order Logic}
 
 % generated text of all theories
+\bibliographystyle{abbrv}
 \input{session}
 
-% optional bibliography
-\small
 
-\bibliographystyle{abbrv}
-\bibliography{root}
 
 \end{document}