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,