src/HOL/Library/Library.thy
changeset 36962 5fb251d1c32f
parent 36648 43b66dcd9266
child 37023 efc202e1677e
     1.1 --- a/src/HOL/Library/Library.thy	Sun May 16 00:02:11 2010 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Mon May 17 10:58:31 2010 +0200
     1.3 @@ -61,7 +61,6 @@
     1.4    Transitive_Closure_Table
     1.5    Univ_Poly
     1.6    While_Combinator
     1.7 -  Word
     1.8    Zorn
     1.9  begin
    1.10  end