# HG changeset patch
# User wenzelm
# Date 926347673 -7200
# Node ID e0914e542f002f683547c4d92624176648e3735b
# Parent  021728c7103083ea27f04f041ca4b87fbb1f0ec9
axclass;
datatype;

diff -r 021728c71030 -r e0914e542f00 doc-src/manual.bib
--- a/doc-src/manual.bib	Mon May 10 16:35:22 1999 +0200
+++ b/doc-src/manual.bib	Mon May 10 16:47:53 1999 +0200
@@ -88,6 +88,17 @@
   crossref	= {huet-plotkin91},
   pages		= {89-119}}
 
+
+@InProceedings{Berghofer-Wenzel:1999:TPHOL,
+  author = 	 {Stefan Berghofer and Markus Wenzel},
+  title = 	 {Inductive datatypes in HOL --- lessons learned in Formal-Logic Engineering},
+  booktitle = 	 {Theorem Proving in Higher Order Logics (TPHOLs'99)},
+  series =	 LNCS,
+  year =	 1999,
+  publisher =	 Springer,
+  note =	 {to appear}
+}
+
 @book{Bird-Wadler,author="Richard Bird and Philip Wadler",
 title="Introduction to Functional Programming",publisher=PH,year=1988}
 
@@ -843,6 +854,17 @@
 
 %W
 
+
+@InProceedings{Wenzel:1997:TPHOL,
+  author = 	 {Markus Wenzel},
+  title = 	 {Type Classes and Overloading in Higher-Order Logic},
+  booktitle = 	 {Theorem Proving in Higher Order Logics (TPHOLs'97)},
+  year =	 1997,
+  series =	 LNCS,
+  volume =       1275,
+  publisher =	 Springer
+}
+
 @book{principia,
   author	= {A. N. Whitehead and B. Russell},
   title		= {Principia Mathematica},