1.1 --- a/doc-src/manual.bib	Mon May 10 16:35:22 1999 +0200
     1.2 +++ b/doc-src/manual.bib	Mon May 10 16:47:53 1999 +0200
     1.3 @@ -88,6 +88,17 @@
     1.4    crossref	= {huet-plotkin91},
     1.5    pages		= {89-119}}
     1.6  
     1.7 +
     1.8 +@InProceedings{Berghofer-Wenzel:1999:TPHOL,
     1.9 +  author = 	 {Stefan Berghofer and Markus Wenzel},
    1.10 +  title = 	 {Inductive datatypes in HOL --- lessons learned in Formal-Logic Engineering},
    1.11 +  booktitle = 	 {Theorem Proving in Higher Order Logics (TPHOLs'99)},
    1.12 +  series =	 LNCS,
    1.13 +  year =	 1999,
    1.14 +  publisher =	 Springer,
    1.15 +  note =	 {to appear}
    1.16 +}
    1.17 +
    1.18  @book{Bird-Wadler,author="Richard Bird and Philip Wadler",
    1.19  title="Introduction to Functional Programming",publisher=PH,year=1988}
    1.20  
    1.21 @@ -843,6 +854,17 @@
    1.22  
    1.23  %W
    1.24  
    1.25 +
    1.26 +@InProceedings{Wenzel:1997:TPHOL,
    1.27 +  author = 	 {Markus Wenzel},
    1.28 +  title = 	 {Type Classes and Overloading in Higher-Order Logic},
    1.29 +  booktitle = 	 {Theorem Proving in Higher Order Logics (TPHOLs'97)},
    1.30 +  year =	 1997,
    1.31 +  series =	 LNCS,
    1.32 +  volume =       1275,
    1.33 +  publisher =	 Springer
    1.34 +}
    1.35 +
    1.36  @book{principia,
    1.37    author	= {A. N. Whitehead and B. Russell},
    1.38    title		= {Principia Mathematica},