--- 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,