# HG changeset patch
# User wenzelm
# Date 1253012953 -7200
# Node ID 076da2bd61f4db3a460063104cf3993c080d2af9
# Parent  d4bb776874b83f520b16b10f4ba89a81abf3cf28
updated bib;

diff -r d4bb776874b8 -r 076da2bd61f4 doc-src/manual.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}
 }