src/HOL/Library/Library.thy
changeset 57025 e7fd64f82876
parent 56942 5fff4dc31d34
child 57112 70395c65c0e3
     1.1 --- a/src/HOL/Library/Library.thy	Tue May 20 16:52:59 2014 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Tue May 20 19:24:39 2014 +0200
     1.3 @@ -39,6 +39,7 @@
     1.4    Monad_Syntax
     1.5    Multiset
     1.6    Numeral_Type
     1.7 +  NthRoot_Limits
     1.8    OptionalSugar
     1.9    Option_ord
    1.10    Order_Continuity