--- a/src/HOL/Library/Library.thy Fri Mar 08 17:19:27 2013 +0100 +++ b/src/HOL/Library/Library.thy Sat Mar 09 11:56:01 2013 +0100 @@ -16,7 +16,6 @@ Debug Diagonal_Subsequence Dlist - Eval_Witness Extended Extended_Nat Extended_Real FinFun Float