src/HOL/ROOT

--- a/src/HOL/ROOT	Tue Nov 05 19:15:00 2019 +0100
+++ b/src/HOL/ROOT	Mon Nov 04 20:38:15 2019 +0000
@@ -650,7 +650,7 @@
     Triangular_Numbers
     Unification
     While_Combinator_Example
-    Word_Type
+    Word
     veriT_Preprocessing
   theories [skip_proofs = false]
     SAT_Examples