src/HOL/Library/Library.thy
changeset 14494 48ae8d678d88
parent 14365 3d4df8c166ae
child 14706 71590b7733b7
     1.1 --- a/src/HOL/Library/Library.thy	Mon Mar 29 10:17:35 2004 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Mon Mar 29 15:35:04 2004 +0200
     1.3 @@ -10,6 +10,7 @@
     1.4    Permutation +
     1.5    NatPair +
     1.6    Primes +
     1.7 +  Word +
     1.8    While_Combinator:
     1.9  end
    1.10  (*>*)