# HG changeset patch
# User kuncar
# Date 1406731494 -7200
# Node ID bf3bdb9240c291d09610df1ed6f8b7b89cb88dbe
# Parent  abc60f963842e772ebc09df8bbec448190768008
add Isabelle Datatype Manual to the bibliography

diff -r abc60f963842 -r bf3bdb9240c2 src/Doc/manual.bib
--- a/src/Doc/manual.bib	Wed Jul 30 21:40:19 2014 +0200
+++ b/src/Doc/manual.bib	Wed Jul 30 16:44:54 2014 +0200
@@ -351,6 +351,12 @@
   pages = "93--110"
 }
 
+@manual{isabelle-datatypes,
+  author	= {Jasmin Christian Blanchette and Martin Desharnais and Lorenz Panny and Andrei Popescu and Dmitriy Traytel},
+  title		= {Defining (Co)datatypes in Isabelle/HOL},
+  institution	= {TU Munich},
+  note          = {\url{http://isabelle.in.tum.de/doc/datatypes.pdf}}}
+
 @inproceedings{why3,
   author = {Fran\c{c}ois Bobot and Jean-Christophe Filli\^atre and Claude March\'e and Andrei Paskevich},
   title = {{Why3}: Shepherd Your Herd of Provers},