--- a/src/HOL/Library/Library.thy Sun May 16 00:02:11 2010 +0200 +++ b/src/HOL/Library/Library.thy Mon May 17 10:58:31 2010 +0200 @@ -61,7 +61,6 @@ Transitive_Closure_Table Univ_Poly While_Combinator - Word Zorn begin end