--- a/src/HOL/Hyperreal/NthRoot.thy Tue Nov 25 10:37:03 2003 +0100 +++ b/src/HOL/Hyperreal/NthRoot.thy Thu Nov 27 10:47:55 2003 +0100 @@ -5,4 +5,4 @@ http://www.math.unl.edu/~webnotes *) -NthRoot = SEQ + ExtraThms2 +NthRoot = SEQ + HSeries