diff -r 614d88f87cfe -r a00306a1c71a src/Doc/manual.bib
--- 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},