tuned;

--- a/doc-src/manual.bib	Mon Jan 07 23:57:14 2002 +0100
+++ b/doc-src/manual.bib	Tue Jan 08 00:02:25 2002 +0100
@@ -131,9 +131,9 @@
                   Lawrence C Paulson and Thomas M Rasmussen and Christophe Tabacznyj and
                   Markus Wenzel},
   title =        {The Supplemental {Isabelle/HOL} Library},
-  note =         {Part of the Isabelle2001 distribution,
+  note =         {Part of the Isabelle distribution,
                   \url{http://isabelle.in.tum.de/library/HOL/Library/document.pdf}},
-  year =         2001
+  year =         2002
 }
 
 @InProceedings{Bauer-Wenzel:2000:HB,