doc-src/manual.bib
changeset 7350 708bd83745c5
parent 7298 e49024d43c10
child 7858 2cd88d1eec0c
--- 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}