TPHOLs99;

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