# HG changeset patch
# User wenzelm
# Date 1235674916 -3600
# Node ID 2d2fce7fa92d661e0625552647375d7612b20488
# Parent  0726792e1726588ce34946a912df1fbe6cb7540f
added Haftmann-Wenzel:2009;

diff -r 0726792e1726 -r 2d2fce7fa92d doc-src/manual.bib
--- 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}},