src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Thu Oct 29 09:59:40 2020 +0000
+++ b/src/HOL/Library/Library.thy	Thu Oct 29 10:03:03 2020 +0000
@@ -99,6 +99,7 @@
   Type_Length
   Uprod
   While_Combinator
+  Word
   Z2
 begin
 end