doc-src/manual.bib
changeset 6626 a92d2b6e0626
parent 6624 e0914e542f00
child 6670 4921b1f8ff92
     1.1 --- a/doc-src/manual.bib	Mon May 10 16:48:00 1999 +0200
     1.2 +++ b/doc-src/manual.bib	Mon May 10 17:02:05 1999 +0200
     1.3 @@ -91,12 +91,11 @@
     1.4  
     1.5  @InProceedings{Berghofer-Wenzel:1999:TPHOL,
     1.6    author = 	 {Stefan Berghofer and Markus Wenzel},
     1.7 -  title = 	 {Inductive datatypes in HOL --- lessons learned in Formal-Logic Engineering},
     1.8 +  title = 	 {Inductive datatypes in {HOL} --- lessons learned in {F}ormal-{L}ogic {E}ngineering},
     1.9    booktitle = 	 {Theorem Proving in Higher Order Logics (TPHOLs'99)},
    1.10    series =	 LNCS,
    1.11    year =	 1999,
    1.12 -  publisher =	 Springer,
    1.13 -  note =	 {to appear}
    1.14 +  publisher =	 Springer
    1.15  }
    1.16  
    1.17  @book{Bird-Wadler,author="Richard Bird and Philip Wadler",