1.1 --- a/doc-src/manual.bib	Tue Sep 18 08:28:47 2007 +0200
     1.2 +++ b/doc-src/manual.bib	Tue Sep 18 10:44:02 2007 +0200
     1.3 @@ -444,15 +444,23 @@
     1.4  @InProceedings{Haftmann-Wenzel:2006:classes,
     1.5    author        = {Florian Haftmann and Makarius Wenzel},
     1.6    title         = {Constructive Type Classes in {Isabelle}},
     1.7 -  year          = 2006,
     1.8 -  note          = {To appear; \url{http://www4.in.tum.de/~haftmann/pdf/constructive_type_classes_haftmann_wenzel.pdf}}
     1.9 +  editor        = {T. Altenkirch and C. McBride},
    1.10 +  booktitle     = {Types for Proofs and Programs, TYPES 2006},
    1.11 +  publisher     = {Springer},
    1.12 +  series        = {LNCS},
    1.13 +  volume        = {4502},
    1.14 +  year          = {2007}
    1.15  }
    1.16  
    1.17  @TechReport{Haftmann-Nipkow:2007:codegen,
    1.18    author        = {Florian Haftmann and Tobias Nipkow},
    1.19    title         = {A Code Generator Framework for {Isabelle/HOL}},
    1.20 -  year          = 2007,
    1.21 -  note          = {\url{http://www4.in.tum.de/~haftmann/pdf/codegen_isabelle_haftmann_nipkow_16pp.pdf}}
    1.22 +  editor        = {Klaus Schneider and Jens Brandt},
    1.23 +  booktitle     = {Theorem Proving in Higher Order Logics: Emerging Trends Proceedings},
    1.24 +  month         = {08},
    1.25 +  year          = {2007},
    1.26 +  institution   = {Department of Computer Science, University of Kaiserslautern},
    1.27 +  number        = {364/07}
    1.28  }
    1.29  
    1.30  @manual{isabelle-classes,