--- 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",