--- a/src/HOL/Unix/document/root.bib Mon Feb 05 20:33:50 2001 +0100
+++ b/src/HOL/Unix/document/root.bib Mon Feb 05 20:34:05 2001 +0100
@@ -1,6 +1,7 @@
@Unpublished{Bauer-et-al:2001:HOL-Library,
- author = {Gertrud Bauer and Tobias Nipkow and Lawrence C Paulson and Markus Wenzel},
+ author = {Gertrud Bauer and Tobias Nipkow and Lawrence C Paulson and
+ Thomas M Rasmussen and Markus Wenzel},
title = {The Supplemental {Isabelle/HOL} Library},
note = {\url{http://isabelle.in.tum.de/library/HOL/Library/document.pdf}},
year = 2001