--- 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} }