| changeset 22653 | 8e016bfdbf2f |
| parent 22613 | 2f119f54d150 |
| child 22654 | c2b6b5a9e136 |
--- a/src/HOL/Hyperreal/Transcendental.thy Thu Apr 12 23:06:27 2007 +0200 +++ b/src/HOL/Hyperreal/Transcendental.thy Fri Apr 13 00:07:52 2007 +0200 @@ -8,7 +8,7 @@ header{*Power Series, Transcendental Functions etc.*} theory Transcendental -imports NthRoot Fact Series EvenOdd Deriv +imports NthRoot Fact Series EvenOdd HDeriv begin definition