src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Mon Mar 29 10:17:35 2004 +0200
+++ b/src/HOL/Library/Library.thy	Mon Mar 29 15:35:04 2004 +0200
@@ -10,6 +10,7 @@
   Permutation +
   NatPair +
   Primes +
+  Word +
   While_Combinator:
 end
 (*>*)