
diff -r d8661799afb2 -r c7038c397ae3 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




