diff -r eca6105b1eaf -r a92d2b6e0626 doc-src/manual.bib
--- a/doc-src/manual.bib	Mon May 10 16:48:00 1999 +0200
+++ b/doc-src/manual.bib	Mon May 10 17:02:05 1999 +0200
@@ -91,12 +91,11 @@
 
 @InProceedings{Berghofer-Wenzel:1999:TPHOL,
   author = 	 {Stefan Berghofer and Markus Wenzel},
-  title = 	 {Inductive datatypes in HOL --- lessons learned in Formal-Logic Engineering},
+  title = 	 {Inductive datatypes in {HOL} --- lessons learned in {F}ormal-{L}ogic {E}ngineering},
   booktitle = 	 {Theorem Proving in Higher Order Logics (TPHOLs'99)},
   series =	 LNCS,
   year =	 1999,
-  publisher =	 Springer,
-  note =	 {to appear}
+  publisher =	 Springer
 }
 
 @book{Bird-Wadler,author="Richard Bird and Philip Wadler",