src/HOL/ROOT

--- a/src/HOL/ROOT	Sun Dec 03 19:00:55 2017 +0100
+++ b/src/HOL/ROOT	Sun Dec 03 19:09:42 2017 +0100
@@ -786,11 +786,9 @@
     Word
     WordBitwise
     Bit_Comparison
+    WordExamples
   document_files "root.bib" "root.tex"
 
-session "HOL-Word-Examples" in "Word/Examples" = "HOL-Word" +
-  theories WordExamples
-
 session "HOL-Statespace" in Statespace = HOL +
   theories [skip_proofs = false]
     StateSpaceEx