src/HOL/ROOT

--- a/src/HOL/ROOT	Thu Aug 06 17:51:37 2020 +0200
+++ b/src/HOL/ROOT	Thu Aug 06 15:37:14 2020 +0000
@@ -612,6 +612,8 @@
   description "
     Miscellaneous examples for Higher-Order Logic.
   "
+  sessions
+    "HOL-Word"
   theories
     Antiquote
     Argo_Examples
@@ -693,7 +695,7 @@
     Triangular_Numbers
     Unification
     While_Combinator_Example
-    Word
+    Word_Conversions
     veriT_Preprocessing
   theories [skip_proofs = false]
     SAT_Examples