1.1 --- a/doc-src/manual.bib	Tue Jul 24 15:20:53 2007 +0200
     1.2 +++ b/doc-src/manual.bib	Tue Jul 24 15:21:54 2007 +0200
     1.3 @@ -441,6 +441,13 @@
     1.4  
     1.5  %H
     1.6  
     1.7 +@InProceedings{Haftmann-Wenzel:2006:classes,
     1.8 +  author        = {Florian Haftmann and Makarius Wenzel},
     1.9 +  title         = {Constructive Type Classes in {Isabelle}},
    1.10 +  year          =   2006,
    1.11 +  note          =   {To appear}
    1.12 +}
    1.13 +
    1.14  @manual{isabelle-classes,
    1.15    author	= {Florian Haftmann},
    1.16    title		= {Haskell-style type classes with {Isabelle}/{Isar}},
    1.17 @@ -803,6 +810,13 @@
    1.18    year		= 1995,
    1.19    pages		= {201-224}}
    1.20  
    1.21 +@InProceedings{Nipkow-Prehofer:1993,
    1.22 +  author =       {T. Nipkow and C. Prehofer},
    1.23 +  title =        {Type checking type classes},
    1.24 +  booktitle =    {ACM Symp.\ Principles of Programming Languages},
    1.25 +  year =         1993
    1.26 +}
    1.27 +
    1.28  @Book{isa-tutorial,
    1.29    author	= {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel},
    1.30    title		= {Isabelle/HOL: A Proof Assistant for Higher-Order Logic},
    1.31 @@ -1231,6 +1245,13 @@
    1.32  
    1.33  %W
    1.34  
    1.35 +@inproceedings{wadler89how,
    1.36 +  author        = {P. Wadler and S. Blott},
    1.37 +  title         = {How to make ad-hoc polymorphism less ad-hoc},
    1.38 +  booktitle     = {ACM Symp.\ Principles of Programming Languages},
    1.39 +  year          = 1989
    1.40 +}
    1.41 +
    1.42  @Misc{x-symbol,
    1.43    author =	 {Christoph Wedler},
    1.44    title =	 {Emacs package ``{X-Symbol}''},
    1.45 @@ -1531,6 +1552,6 @@
    1.46    year          = 2006}
    1.47  
    1.48  @unpublished{classes_modules,
    1.49 -  title         = {ML Modules and Haskell Type Classes: A Constructive Comparison},
    1.50 +  title         = {{ML} Modules and {Haskell} Type Classes: A Constructive Comparison},
    1.51    author        = {Stefan Wehr et. al.}
    1.52  }