Tuned some references to LNCS volumes.
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}