1.1 --- a/doc-src/manual.bib	Thu Aug 09 11:39:29 2007 +0200
     1.2 +++ b/doc-src/manual.bib	Thu Aug 09 15:52:38 2007 +0200
     1.3 @@ -444,21 +444,30 @@
     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}
     1.9 +  year          = 2006,
    1.10 +  note          = {To appear; \url{http://www4.in.tum.de/~haftmann/pdf/constructive_type_classes_haftmann_wenzel.pdf}}
    1.11 +}
    1.12 +
    1.13 +@TechReport{Haftmann-Nipkow:2007:codegen,
    1.14 +  author        = {Florian Haftmann and Tobias Nipkow},
    1.15 +  title         = {A Code Generator Framework for {Isabelle/HOL}},
    1.16 +  year          = 2007,
    1.17 +  note          = {\url{http://www4.in.tum.de/~haftmann/pdf/codegen_isabelle_haftmann_nipkow_16pp.pdf}}
    1.18  }
    1.19  
    1.20  @manual{isabelle-classes,
    1.21 -  author	= {Florian Haftmann},
    1.22 -  title		= {Haskell-style type classes with {Isabelle}/{Isar}},
    1.23 -  institution	= TUM,
    1.24 -  note          = {\url{http://isabelle.in.tum.de/doc/classes.pdf}}}
    1.25 +  author        = {Florian Haftmann},
    1.26 +  title         = {Haskell-style type classes with {Isabelle}/{Isar}},
    1.27 +  institution   = TUM,
    1.28 +  note          = {\url{http://isabelle.in.tum.de/doc/classes.pdf}}
    1.29 +}
    1.30  
    1.31  @manual{isabelle-codegen,
    1.32 -  author	= {Florian Haftmann},
    1.33 -  title		= {Code generation from Isabelle theories},
    1.34 -  institution	= TUM,
    1.35 -  note          = {\url{http://isabelle.in.tum.de/doc/codegen.pdf}}}
    1.36 +  author        = {Florian Haftmann},
    1.37 +  title         = {Code generation from Isabelle theories},
    1.38 +  institution   = TUM,
    1.39 +  note          = {\url{http://isabelle.in.tum.de/doc/codegen.pdf}}
    1.40 +}
    1.41  
    1.42  @Book{halmos60,
    1.43    author	= {Paul R. Halmos},