1.1 --- a/doc-src/manual.bib	Tue Jun 26 15:48:09 2007 +0200
     1.2 +++ b/doc-src/manual.bib	Tue Jun 26 15:48:24 2007 +0200
     1.3 @@ -916,7 +916,8 @@
     1.4    journal	= {Mathematical Structures in Computer Science},
     1.5    year		= 1999,
     1.6    volume	= 9,
     1.7 -  note		= {in press}}
     1.8 +  number = 5,
     1.9 +  pages = {545-567}}
    1.10  
    1.11  @InCollection{paulson-generic,
    1.12    author	= {Lawrence C. Paulson},
    1.13 @@ -1068,7 +1069,10 @@
    1.14    title = 	 {Relations Between Secrets:
    1.15                    Two Formal Analyses of the {Yahalom} Protocol},
    1.16    journal = 	 JCS,
    1.17 -  note =	 {in press}}
    1.18 +  volume = 9,
    1.19 +  number = 3,
    1.20 +  pages = {197-216},
    1.21 +  year = 2001}}
    1.22  
    1.23  @article{pelletier86,
    1.24    author	= {F. J. Pelletier},