diff -r fe827c6fa8c5 -r 628c97d39627 doc/Contents
--- a/doc/Contents	Mon Mar 28 12:11:54 2016 +0200
+++ b/doc/Contents	Tue Mar 29 09:45:54 2016 +0200
@@ -4,6 +4,7 @@
   classes         Tutorial on Type Classes
   datatypes       Tutorial on (Co)datatype Definitions
   functions       Tutorial on Function Definitions
+  corec           Tutorial on Nonprimitively Corecursive Definitions
   codegen         Tutorial on Code Generation
   nitpick         User's Guide to Nitpick
   sledgehammer    User's Guide to Sledgehammer
@@ -22,4 +23,3 @@
   intro           Old Introduction to Isabelle
   logics          Isabelle's Logics: HOL and misc logics
   logics-ZF       Isabelle's Logics: FOL and ZF
-