--- a/src/HOL/Library/Library.thy Thu Jan 16 16:20:17 2014 +0100 +++ b/src/HOL/Library/Library.thy Thu Jan 16 16:33:19 2014 +0100 @@ -64,7 +64,6 @@ Sum_of_Squares Transitive_Closure_Table While_Combinator - Zorn begin end (*>*)