--- a/src/HOL/Library/Library.thy Mon Apr 20 13:46:36 2015 +0100 +++ b/src/HOL/Library/Library.thy Tue Apr 21 17:19:00 2015 +0100 @@ -44,7 +44,6 @@ More_List Multiset_Order Numeral_Type - NthRoot_Limits OptionalSugar Option_ord Order_Continuity