doc/Contents

--- a/doc/Contents	Tue Jul 30 16:22:39 2013 +0200
+++ b/doc/Contents	Tue Jul 30 16:22:39 2013 +0200
@@ -3,6 +3,7 @@
   tutorial        Tutorial on Isabelle/HOL
   locales         Tutorial on Locales
   classes         Tutorial on Type Classes
+  datatypes       Tutorial on (Co)datatype Definitions
   functions       Tutorial on Function Definitions
   codegen         Tutorial on Code Generation
   nitpick         User's Guide to Nitpick