--- a/doc-src/manual.bib Thu Feb 26 17:42:43 2009 +0100
+++ b/doc-src/manual.bib Thu Feb 26 20:01:56 2009 +0100
@@ -467,6 +467,17 @@
number = {364/07}
}
+@InProceedings{Haftmann-Wenzel:2009,
+ author = {Florian Haftmann and Makarius Wenzel},
+ title = {Local theory specifications in {Isabelle/Isar}},
+ editor = {Stefano Berardi and Ferruccio Damiani and de Liguoro, Ugo},
+ booktitle = {Types for Proofs and Programs, TYPES 2008},
+ publisher = {Springer},
+ series = {LNCS},
+ volume = {????},
+ year = {2009}
+}
+
@manual{isabelle-classes,
author = {Florian Haftmann},
title = {Haskell-style type classes with {Isabelle}/{Isar}},