src/HOL/Library/Library.thy
changeset 60141 833adf7db7d8
parent 59928 b9b7f913a19a
child 60162 645058aa9d6f
     1.1 --- a/src/HOL/Library/Library.thy	Mon Apr 20 13:46:36 2015 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Tue Apr 21 17:19:00 2015 +0100
     1.3 @@ -44,7 +44,6 @@
     1.4    More_List
     1.5    Multiset_Order
     1.6    Numeral_Type
     1.7 -  NthRoot_Limits
     1.8    OptionalSugar
     1.9    Option_ord
    1.10    Order_Continuity