src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Tue May 20 16:52:59 2014 +0200
+++ b/src/HOL/Library/Library.thy	Tue May 20 19:24:39 2014 +0200
@@ -39,6 +39,7 @@
   Monad_Syntax
   Multiset
   Numeral_Type
+  NthRoot_Limits
   OptionalSugar
   Option_ord
   Order_Continuity