1.1 --- a/doc-src/manual.bib	Tue Dec 11 15:58:32 2001 +0100
     1.2 +++ b/doc-src/manual.bib	Tue Dec 11 16:00:26 2001 +0100
     1.3 @@ -126,6 +126,16 @@
     1.4    crossref	= {huet-plotkin91},
     1.5    pages		= {89-119}}
     1.6  
     1.7 +@Unpublished{HOL-Library,
     1.8 +  author =       {Gertrud Bauer and Tobias Nipkow and Oheimb, David von and
     1.9 +                  Lawrence C Paulson and Thomas M Rasmussen and Christophe Tabacznyj and
    1.10 +                  Markus Wenzel},
    1.11 +  title =        {The Supplemental {Isabelle/HOL} Library},
    1.12 +  note =         {Part of the Isabelle2001 distribution,
    1.13 +                  \url{http://isabelle.in.tum.de/library/HOL/Library/document.pdf}},
    1.14 +  year =         2001
    1.15 +}
    1.16 +
    1.17  @InProceedings{Bauer-Wenzel:2000:HB,
    1.18    author = 	 {Gertrud Bauer and Markus Wenzel},
    1.19    title = 	 {Computer-Assisted Mathematics at Work --- The {H}ahn-{B}anach Theorem in