--- a/src/HOL/Library/Library.thy Sat Dec 03 21:25:34 2011 +0100 +++ b/src/HOL/Library/Library.thy Sun Dec 04 13:10:19 2011 +0100 @@ -13,7 +13,6 @@ Convex Countable Cset_Monad - Diagonalize Dlist_Cset Eval_Witness Extended_Nat