# HG changeset patch
# User wenzelm
# Date 935600029 -7200
# Node ID 708bd83745c50f00c8f1ae7ad662cf9190bb50cd
# Parent  228b711ad68c6d8bd082ae695dfd765fe184fade
TPHOLs99;

diff -r 228b711ad68c -r 708bd83745c5 doc-src/manual.bib
--- 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}