author | wenzelm |
Wed, 25 Aug 1999 18:53:49 +0200 | |
changeset 7350 | 708bd83745c5 |
parent 7349 | 228b711ad68c |
child 7351 | 1e485129fbc1 |
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