# HG changeset patch
# User wenzelm
# Date 1008082826 -3600
# Node ID 5f41826670320545bbd2d2402b5985db2a940c0b
# Parent  47f79ad602d95def79dfae628967c1cbd2300fdd
added HOL-Library;

diff -r 47f79ad602d9 -r 5f4182667032 doc-src/manual.bib
--- 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