--- a/doc-src/manual.bib Tue Sep 18 08:28:47 2007 +0200
+++ b/doc-src/manual.bib Tue Sep 18 10:44:02 2007 +0200
@@ -444,15 +444,23 @@
@InProceedings{Haftmann-Wenzel:2006:classes,
author = {Florian Haftmann and Makarius Wenzel},
title = {Constructive Type Classes in {Isabelle}},
- year = 2006,
- note = {To appear; \url{http://www4.in.tum.de/~haftmann/pdf/constructive_type_classes_haftmann_wenzel.pdf}}
+ editor = {T. Altenkirch and C. McBride},
+ booktitle = {Types for Proofs and Programs, TYPES 2006},
+ publisher = {Springer},
+ series = {LNCS},
+ volume = {4502},
+ year = {2007}
}
@TechReport{Haftmann-Nipkow:2007:codegen,
author = {Florian Haftmann and Tobias Nipkow},
title = {A Code Generator Framework for {Isabelle/HOL}},
- year = 2007,
- note = {\url{http://www4.in.tum.de/~haftmann/pdf/codegen_isabelle_haftmann_nipkow_16pp.pdf}}
+ 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}
}
@manual{isabelle-classes,