updated bib;
authorwenzelm
Tue, 15 Sep 2009 13:09:13 +0200
changeset 32572 076da2bd61f4
parent 32571 d4bb776874b8
child 32573 62b5b538408d
child 32574 719426c9e1eb
updated bib;
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}
 }