doc-src/manual.bib

--- a/doc-src/manual.bib	Mon Mar 04 13:54:41 2002 +0100
+++ b/doc-src/manual.bib	Mon Mar 04 13:56:12 2002 +0100
@@ -165,7 +165,7 @@
   editor =       {P. Callaghan and Z. Luo and J. McKinna and R. Pollack},
   series =       LNCS,
   publisher =    Springer,
-  note =         {To appear},
+  volume =       2277,
   year =         2002}
 
 @InProceedings{Berghofer-Wenzel:1999:TPHOL,
@@ -1361,28 +1361,35 @@
   title		= {FME '93: Industrial-Strength Formal Methods},
   booktitle	= {FME '93: Industrial-Strength Formal Methods},
   year		= 1993,
-  publisher	= {Springer},
-  series	= {LNCS 670}}
+  publisher	= Springer,
+  series	= LNCS,
+  volume        = 670}
 
 @Proceedings{tphols96,
   title		= {Theorem Proving in Higher Order Logics: {TPHOLs} '96},
   booktitle	= {Theorem Proving in Higher Order Logics: {TPHOLs} '96},
   editor	= {J. von Wright and J. Grundy and J. Harrison},
-  series	= {LNCS 1125},
+  publisher     = Springer,
+  series	= LNCS,
+  volume        = 1125,
   year		= 1996}
 
 @Proceedings{tphols97,
   title		= {Theorem Proving in Higher Order Logics: {TPHOLs} '97},
   booktitle	= {Theorem Proving in Higher Order Logics: {TPHOLs} '97},
   editor	= {Elsa L. Gunter and Amy Felty},
-  series	= {LNCS 1275},
+  publisher     = Springer,
+  series	= LNCS,
+  volume        = 1275,
   year		= 1997}
 
 @Proceedings{tphols98,
   title		= {Theorem Proving in Higher Order Logics: {TPHOLs} '98},
   booktitle	= {Theorem Proving in Higher Order Logics: {TPHOLs} '98},
   editor	= {Jim Grundy and Malcom Newey},
-  series	= {LNCS 1479},
+  publisher     = Springer,
+  series	= LNCS,
+  volume        = 1479,
   year		= 1998}
 
 @Proceedings{tphols99,
@@ -1390,19 +1397,25 @@
   booktitle	= {Theorem Proving in Higher Order Logics: {TPHOLs} '99},
   editor	= {Bertot, Y. and Dowek, G. and Hirschowitz, A. and
                   Paulin, C. and Thery, L.},
-  series	= {LNCS 1690},
+  publisher     = Springer,
+  series	= LNCS,
+  volume        = 1690,
   year		= 1999}
 
 @Proceedings{tphols2000,
   title         = {Theorem Proving in Higher Order Logics: {TPHOLs} 2000},
   booktitle     = {Theorem Proving in Higher Order Logics: {TPHOLs} 2000},
   editor        = {J. Harrison and M. Aagaard},
-  series        = {LNCS 1869},
+  publisher     = Springer,
+  series        = LNCS,
+  volume        = 1869,
   year          = 2000}
 
 @Proceedings{tphols2001,
   title         = {Theorem Proving in Higher Order Logics: {TPHOLs} 2001},
   booktitle     = {Theorem Proving in Higher Order Logics: {TPHOLs} 2001},
   editor        = {R. J. Boulton and P. B. Jackson},
-  series        = {LNCS 2152},
+  publisher     = Springer,
+  series        = LNCS,
+  volume        = 2152,
   year          = 2001}