src/HOL/Hyperreal/NthRoot.thy
changeset 14268 5cf13e80be0e
parent 12196 a3be6b3a9c0b
child 14324 c9c6832f9b22
     1.1 --- a/src/HOL/Hyperreal/NthRoot.thy	Tue Nov 25 10:37:03 2003 +0100
     1.2 +++ b/src/HOL/Hyperreal/NthRoot.thy	Thu Nov 27 10:47:55 2003 +0100
     1.3 @@ -5,4 +5,4 @@
     1.4                     http://www.math.unl.edu/~webnotes
     1.5  *)
     1.6  
     1.7 -NthRoot = SEQ + ExtraThms2
     1.8 +NthRoot = SEQ + HSeries