1.1 --- a/doc-src/manual.bib	Mon Mar 04 13:54:41 2002 +0100
     1.2 +++ b/doc-src/manual.bib	Mon Mar 04 13:56:12 2002 +0100
     1.3 @@ -165,7 +165,7 @@
     1.4    editor =       {P. Callaghan and Z. Luo and J. McKinna and R. Pollack},
     1.5    series =       LNCS,
     1.6    publisher =    Springer,
     1.7 -  note =         {To appear},
     1.8 +  volume =       2277,
     1.9    year =         2002}
    1.10  
    1.11  @InProceedings{Berghofer-Wenzel:1999:TPHOL,
    1.12 @@ -1361,28 +1361,35 @@
    1.13    title		= {FME '93: Industrial-Strength Formal Methods},
    1.14    booktitle	= {FME '93: Industrial-Strength Formal Methods},
    1.15    year		= 1993,
    1.16 -  publisher	= {Springer},
    1.17 -  series	= {LNCS 670}}
    1.18 +  publisher	= Springer,
    1.19 +  series	= LNCS,
    1.20 +  volume        = 670}
    1.21  
    1.22  @Proceedings{tphols96,
    1.23    title		= {Theorem Proving in Higher Order Logics: {TPHOLs} '96},
    1.24    booktitle	= {Theorem Proving in Higher Order Logics: {TPHOLs} '96},
    1.25    editor	= {J. von Wright and J. Grundy and J. Harrison},
    1.26 -  series	= {LNCS 1125},
    1.27 +  publisher     = Springer,
    1.28 +  series	= LNCS,
    1.29 +  volume        = 1125,
    1.30    year		= 1996}
    1.31  
    1.32  @Proceedings{tphols97,
    1.33    title		= {Theorem Proving in Higher Order Logics: {TPHOLs} '97},
    1.34    booktitle	= {Theorem Proving in Higher Order Logics: {TPHOLs} '97},
    1.35    editor	= {Elsa L. Gunter and Amy Felty},
    1.36 -  series	= {LNCS 1275},
    1.37 +  publisher     = Springer,
    1.38 +  series	= LNCS,
    1.39 +  volume        = 1275,
    1.40    year		= 1997}
    1.41  
    1.42  @Proceedings{tphols98,
    1.43    title		= {Theorem Proving in Higher Order Logics: {TPHOLs} '98},
    1.44    booktitle	= {Theorem Proving in Higher Order Logics: {TPHOLs} '98},
    1.45    editor	= {Jim Grundy and Malcom Newey},
    1.46 -  series	= {LNCS 1479},
    1.47 +  publisher     = Springer,
    1.48 +  series	= LNCS,
    1.49 +  volume        = 1479,
    1.50    year		= 1998}
    1.51  
    1.52  @Proceedings{tphols99,
    1.53 @@ -1390,19 +1397,25 @@
    1.54    booktitle	= {Theorem Proving in Higher Order Logics: {TPHOLs} '99},
    1.55    editor	= {Bertot, Y. and Dowek, G. and Hirschowitz, A. and
    1.56                    Paulin, C. and Thery, L.},
    1.57 -  series	= {LNCS 1690},
    1.58 +  publisher     = Springer,
    1.59 +  series	= LNCS,
    1.60 +  volume        = 1690,
    1.61    year		= 1999}
    1.62  
    1.63  @Proceedings{tphols2000,
    1.64    title         = {Theorem Proving in Higher Order Logics: {TPHOLs} 2000},
    1.65    booktitle     = {Theorem Proving in Higher Order Logics: {TPHOLs} 2000},
    1.66    editor        = {J. Harrison and M. Aagaard},
    1.67 -  series        = {LNCS 1869},
    1.68 +  publisher     = Springer,
    1.69 +  series        = LNCS,
    1.70 +  volume        = 1869,
    1.71    year          = 2000}
    1.72  
    1.73  @Proceedings{tphols2001,
    1.74    title         = {Theorem Proving in Higher Order Logics: {TPHOLs} 2001},
    1.75    booktitle     = {Theorem Proving in Higher Order Logics: {TPHOLs} 2001},
    1.76    editor        = {R. J. Boulton and P. B. Jackson},
    1.77 -  series        = {LNCS 2152},
    1.78 +  publisher     = Springer,
    1.79 +  series        = LNCS,
    1.80 +  volume        = 2152,
    1.81    year          = 2001}