--- a/src/Doc/manual.bib Tue Feb 02 15:04:39 2016 +0100
+++ b/src/Doc/manual.bib Mon Feb 01 23:52:06 2016 +0100
@@ -306,6 +306,12 @@
series = LNCS,
publisher = Springer}
+@manual{isabelle-datatypes,
+ author = {Julian Biendarra and Jasmin Christian Blanchette and Martin Desharnais and Lorenz Panny and Andrei Popescu and Dmitriy Traytel},
+ title = {Defining (Co)datatypes and Primitively (Co)recursive Functions in {Isabelle\slash HOL}},
+ institution = {TU Munich},
+ note = {\url{http://isabelle.in.tum.de/doc/datatypes.pdf}}}
+
@book{Bird-Wadler,author="Richard Bird and Philip Wadler",
title="Introduction to Functional Programming",publisher=PH,year=1988}
@@ -373,12 +379,6 @@
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},