src/HOL/ROOT

--- a/src/HOL/ROOT	Mon Jan 20 18:24:56 2014 +0100
+++ b/src/HOL/ROOT	Mon Jan 20 18:24:56 2014 +0100
@@ -706,7 +706,7 @@
   options [document = false]
   theories BNF
 
-session "HOL-BNF-Examples" in "BNF/Examples" = "HOL-BNF" +
+session "HOL-BNF_Examples" in BNF_Examples = HOL +
   description {*
     Examples for Bounded Natural Functors.
   *}