doc-src/manual.bib
changeset 9567 48f63548af46
parent 8892 24975b9d26ca
child 9599 48d438b316c9
     1.1 --- a/doc-src/manual.bib	Wed Aug 09 21:02:45 2000 +0200
     1.2 +++ b/doc-src/manual.bib	Wed Aug 09 21:13:42 2000 +0200
     1.3 @@ -109,6 +109,15 @@
     1.4    crossref	= {huet-plotkin91},
     1.5    pages		= {89-119}}
     1.6  
     1.7 +@InProceedings{Bauer-Wenzel:2000:HB,
     1.8 +  author = 	 {Gertrud Bauer and Markus Wenzel},
     1.9 +  title = 	 {Computer-Assisted Mathematics at Work --- The {H}ahn-{B}anach Theorem in
    1.10 +      {I}sabelle/{I}sar},
    1.11 +  booktitle = 	 {Types for Proofs and Programs: TYPES'99},
    1.12 +  series =	 {LNCS},
    1.13 +  year =	 2000,
    1.14 +  note =	 {To appear}
    1.15 +}
    1.16  
    1.17  @InProceedings{Berghofer-Wenzel:1999:TPHOL,
    1.18    author = 	 {Stefan Berghofer and Markus Wenzel},
    1.19 @@ -971,6 +980,7 @@
    1.20    author	= {Markus Wenzel},
    1.21    title		= {Using Axiomatic Type Classes in {I}sabelle},
    1.22    institution	= {TU Munich},
    1.23 +  year          = 2000,
    1.24    note          = {\url{http://isabelle.in.tum.de/doc/axclass.pdf}}}
    1.25  
    1.26