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}