--- a/src/HOL/Library/Library.thy Wed Jun 01 23:08:04 2011 +0200 +++ b/src/HOL/Library/Library.thy Thu Jun 02 08:55:08 2011 +0200 @@ -13,7 +13,7 @@ Convex Countable Diagonalize - Dlist + Dlist_Cset Eval_Witness Float Formal_Power_Series