| changeset 21165 | 8fb49f668511 |
| parent 21020 | 9af9ceb16d58 |
| child 21404 | eb85850d3eb7 |
--- a/src/HOL/Hyperreal/Transcendental.thy Sat Nov 04 00:11:11 2006 +0100 +++ b/src/HOL/Hyperreal/Transcendental.thy Sat Nov 04 00:12:06 2006 +0100 @@ -8,7 +8,7 @@ header{*Power Series, Transcendental Functions etc.*} theory Transcendental -imports NthRoot Fact Series EvenOdd Lim +imports NthRoot Fact Series EvenOdd Deriv begin definition