--- 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}}}