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