--- a/doc-src/manual.bib Tue Dec 11 15:58:32 2001 +0100
+++ b/doc-src/manual.bib Tue Dec 11 16:00:26 2001 +0100
@@ -126,6 +126,16 @@
crossref = {huet-plotkin91},
pages = {89-119}}
+@Unpublished{HOL-Library,
+ author = {Gertrud Bauer and Tobias Nipkow and Oheimb, David von and
+ 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,
+ \url{http://isabelle.in.tum.de/library/HOL/Library/document.pdf}},
+ year = 2001
+}
+
@InProceedings{Bauer-Wenzel:2000:HB,
author = {Gertrud Bauer and Markus Wenzel},
title = {Computer-Assisted Mathematics at Work --- The {H}ahn-{B}anach Theorem in