# HG changeset patch
# User wenzelm
# Date 965848422 -7200
# Node ID 48f63548af46b0ce97d18de966f02552b90a0be0
# Parent  0874bf3a909d7fa8d1ec6b48b10cdd3104307b82
added Bauer-Wenzel:2000:HB;

diff -r 0874bf3a909d -r 48f63548af46 doc-src/manual.bib
--- a/doc-src/manual.bib	Wed Aug 09 21:02:45 2000 +0200
+++ b/doc-src/manual.bib	Wed Aug 09 21:13:42 2000 +0200
@@ -109,6 +109,15 @@
   crossref	= {huet-plotkin91},
   pages		= {89-119}}
 
+@InProceedings{Bauer-Wenzel:2000:HB,
+  author = 	 {Gertrud Bauer and Markus Wenzel},
+  title = 	 {Computer-Assisted Mathematics at Work --- The {H}ahn-{B}anach Theorem in
+      {I}sabelle/{I}sar},
+  booktitle = 	 {Types for Proofs and Programs: TYPES'99},
+  series =	 {LNCS},
+  year =	 2000,
+  note =	 {To appear}
+}
 
 @InProceedings{Berghofer-Wenzel:1999:TPHOL,
   author = 	 {Stefan Berghofer and Markus Wenzel},
@@ -971,6 +980,7 @@
   author	= {Markus Wenzel},
   title		= {Using Axiomatic Type Classes in {I}sabelle},
   institution	= {TU Munich},
+  year          = 2000,
   note          = {\url{http://isabelle.in.tum.de/doc/axclass.pdf}}}