1.1 --- a/doc-src/manual.bib	Mon Jun 14 15:27:09 2010 +0200
     1.2 +++ b/doc-src/manual.bib	Mon Jun 14 15:27:11 2010 +0200
     1.3 @@ -130,6 +130,13 @@
     1.4  @book{Baader-Nipkow,author={Franz Baader and Tobias Nipkow},
     1.5  title="Term Rewriting and All That",publisher=CUP,year=1998}
     1.6  
     1.7 +@manual{isabelle-locale,
     1.8 +  author        = {Clemens Ballarin},
     1.9 +  title         = {Tutorial to Locales and Locale Interpretation},
    1.10 +  institution   = TUM,
    1.11 +  note          = {\url{http://isabelle.in.tum.de/doc/locales.pdf}}
    1.12 +}
    1.13 +
    1.14  @InCollection{Barendregt-Geuvers:2001,
    1.15    author = 	 {H. Barendregt and H. Geuvers},
    1.16    title = 	 {Proof Assistants using Dependent Type Systems},
    1.17 @@ -508,15 +515,15 @@
    1.18    year          = {2007}
    1.19  }
    1.20  
    1.21 -@TechReport{Haftmann-Nipkow:2007:codegen,
    1.22 -  author        = {Florian Haftmann and Tobias Nipkow},
    1.23 -  title         = {A Code Generator Framework for {Isabelle/HOL}},
    1.24 -  editor        = {Klaus Schneider and Jens Brandt},
    1.25 -  booktitle     = {Theorem Proving in Higher Order Logics: Emerging Trends Proceedings},
    1.26 -  month         = {08},
    1.27 -  year          = {2007},
    1.28 -  institution   = {Department of Computer Science, University of Kaiserslautern},
    1.29 -  number        = {364/07}
    1.30 +@inproceedings{Haftmann-Nipkow:2010:code,
    1.31 +  author =      {Florian Haftmann and Tobias Nipkow},
    1.32 +  title =       {Code Generation via Higher-Order Rewrite Systems},
    1.33 +  booktitle =   {Functional and Logic Programming: 10th International Symposium: FLOPS 2010},
    1.34 +  year =        2010,
    1.35 +  publisher =   {Springer},
    1.36 +  series =      {Lecture Notes in Computer Science},
    1.37 +  editor =      {Matthias Blume and Naoki Kobayashi and Germ{\'a}n Vidal},
    1.38 +  volume =      {6009}
    1.39  }
    1.40  
    1.41  @InProceedings{Haftmann-Wenzel:2009,