updated bib;

--- a/doc-src/manual.bib	Mon Sep 14 19:30:48 2009 +0200
+++ b/doc-src/manual.bib	Tue Sep 15 13:09:13 2009 +0200
@@ -484,7 +484,7 @@
   booktitle     = {Types for Proofs and Programs, TYPES 2008},
   publisher     = {Springer},
   series        = {LNCS},
-  volume        = {????},
+  volume        = {5497},
   year          = {2009}
 }