diff -r 3d99eea28a9b -r b1c5add0a65e doc-src/LaTeXsugar/Sugar/document/root.bib
--- a/doc-src/LaTeXsugar/Sugar/document/root.bib	Tue Dec 07 11:31:14 2004 +0100
+++ b/doc-src/LaTeXsugar/Sugar/document/root.bib	Tue Dec 07 12:13:17 2004 +0100
@@ -4,4 +4,9 @@
 note={\url{http://www.in.tum.de/~nipkow/LNCS2283/}}}
 
 @misc{mathpartir,author={Didier R\'emy},title={mathpartir},
-note={\url{http://cristal.inria.fr/~remy/latex/}}}
\ No newline at end of file
+note={\url{http://cristal.inria.fr/~remy/latex/}}}
+
+@misc{tar,author={Gerwin Klein and Norber Schirmer and Tobias Nipkow},
+title={{LaTeX} sugar theories and support files}, 
+note={\url{http://isabelle.in.tum.de/sugar.tar.gz}}}
+