1.1 --- a/doc-src/manual.bib	Thu Feb 26 17:42:43 2009 +0100
     1.2 +++ b/doc-src/manual.bib	Thu Feb 26 20:01:56 2009 +0100
     1.3 @@ -467,6 +467,17 @@
     1.4    number        = {364/07}
     1.5  }
     1.6  
     1.7 +@InProceedings{Haftmann-Wenzel:2009,
     1.8 +  author        = {Florian Haftmann and Makarius Wenzel},
     1.9 +  title         = {Local theory specifications in {Isabelle/Isar}},
    1.10 +  editor        = {Stefano Berardi and Ferruccio Damiani and de Liguoro, Ugo},
    1.11 +  booktitle     = {Types for Proofs and Programs, TYPES 2008},
    1.12 +  publisher     = {Springer},
    1.13 +  series        = {LNCS},
    1.14 +  volume        = {????},
    1.15 +  year          = {2009}
    1.16 +}
    1.17 +
    1.18  @manual{isabelle-classes,
    1.19    author        = {Florian Haftmann},
    1.20    title         = {Haskell-style type classes with {Isabelle}/{Isar}},