# HG changeset patch
# User wenzelm
# Date 1005238498 -3600
# Node ID c058fd42b5fc2b512090a69ab117603dda037b7e
# Parent  b9bba87e1d780fcad1f9b7f669db674ab0c59e55
\bibliographystyle{abbrv};

diff -r b9bba87e1d78 -r c058fd42b5fc lib/Tools/mkdir
--- a/lib/Tools/mkdir	Thu Nov 08 17:44:55 2001 +0100
+++ b/lib/Tools/mkdir	Thu Nov 08 17:54:58 2001 +0100
@@ -249,7 +249,7 @@
 % include generated text of all theories
 \input{session}
 
-%\bibliographystyle{plain}
+%\bibliographystyle{abbrv}
 %\bibliography{root}
 
 \end{document}