--- a/src/HOL/Library/Library.thy Tue Nov 20 17:49:26 2012 +0100 +++ b/src/HOL/Library/Library.thy Tue Nov 20 18:59:35 2012 +0100 @@ -12,6 +12,7 @@ ContNotDenum Convex Countable + Countable_Set Debug Diagonal_Subsequence Dlist