| changeset 20690 | 136b206327a4 |
| parent 20687 | fedb901be392 |
| child 20692 | 6df83a636e67 |
--- a/src/HOL/Hyperreal/Transcendental.thy Sun Sep 24 04:00:03 2006 +0200 +++ b/src/HOL/Hyperreal/Transcendental.thy Sun Sep 24 04:00:46 2006 +0200 @@ -8,7 +8,7 @@ header{*Power Series, Transcendental Functions etc.*} theory Transcendental -imports NthRoot Fact HSeries EvenOdd Lim +imports NthRoot Fact Series EvenOdd Lim begin definition