src/HOL/ROOT

--- a/src/HOL/ROOT	Thu Sep 11 19:20:23 2014 +0200
+++ b/src/HOL/ROOT	Thu Sep 11 19:26:59 2014 +0200
@@ -730,9 +730,9 @@
     "root.tex"
     "root.bib"
 
-session "HOL-BNF_Examples" in BNF_Examples = HOL +
+session "HOL-Datatype_Examples" in Datatype_Examples = HOL +
   description {*
-    Examples for Bounded Natural Functors.
+    (Co)datatype Examples.
   *}
   options [document = false]
   theories