1.1 --- a/doc-src/manual.bib	Wed Aug 25 17:33:21 1999 +0200
     1.2 +++ b/doc-src/manual.bib	Wed Aug 25 18:53:49 1999 +0200
     1.3 @@ -1117,6 +1117,8 @@
     1.4  @Proceedings{tphols99,
     1.5    title		= {Theorem Proving in Higher Order Logics: {TPHOLs} '99},
     1.6    booktitle	= {Theorem Proving in Higher Order Logics: {TPHOLs} '99},
     1.7 -  note = {in press},
     1.8 +  editor	= {Bertot, Y. and Dowek, G. and Hirschowitz, A. and
     1.9 +                  Paulin, C. and Thery, L.},
    1.10 +  series	= {LNCS 1690},
    1.11    year		= 1999}
    1.12