# HG changeset patch
# User haftmann
# Date 1276522031 -7200
# Node ID 2f064f1c2f14209aa14b93a6da2a8a037e41b837
# Parent  b3d94253e7f27d1fd8094266dd1bf4c4974593b9
extended bib

diff -r b3d94253e7f2 -r 2f064f1c2f14 doc-src/manual.bib
--- a/doc-src/manual.bib	Mon Jun 14 15:27:09 2010 +0200
+++ b/doc-src/manual.bib	Mon Jun 14 15:27:11 2010 +0200
@@ -130,6 +130,13 @@
 @book{Baader-Nipkow,author={Franz Baader and Tobias Nipkow},
 title="Term Rewriting and All That",publisher=CUP,year=1998}
 
+@manual{isabelle-locale,
+  author        = {Clemens Ballarin},
+  title         = {Tutorial to Locales and Locale Interpretation},
+  institution   = TUM,
+  note          = {\url{http://isabelle.in.tum.de/doc/locales.pdf}}
+}
+
 @InCollection{Barendregt-Geuvers:2001,
   author = 	 {H. Barendregt and H. Geuvers},
   title = 	 {Proof Assistants using Dependent Type Systems},
@@ -508,15 +515,15 @@
   year          = {2007}
 }
 
-@TechReport{Haftmann-Nipkow:2007:codegen,
-  author        = {Florian Haftmann and Tobias Nipkow},
-  title         = {A Code Generator Framework for {Isabelle/HOL}},
-  editor        = {Klaus Schneider and Jens Brandt},
-  booktitle     = {Theorem Proving in Higher Order Logics: Emerging Trends Proceedings},
-  month         = {08},
-  year          = {2007},
-  institution   = {Department of Computer Science, University of Kaiserslautern},
-  number        = {364/07}
+@inproceedings{Haftmann-Nipkow:2010:code,
+  author =      {Florian Haftmann and Tobias Nipkow},
+  title =       {Code Generation via Higher-Order Rewrite Systems},
+  booktitle =   {Functional and Logic Programming: 10th International Symposium: FLOPS 2010},
+  year =        2010,
+  publisher =   {Springer},
+  series =      {Lecture Notes in Computer Science},
+  editor =      {Matthias Blume and Naoki Kobayashi and Germ{\'a}n Vidal},
+  volume =      {6009}
 }
 
 @InProceedings{Haftmann-Wenzel:2009,