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