--- a/src/HOL/Hyperreal/Poly.thy Fri Jul 29 19:47:19 2005 +0200
+++ b/src/HOL/Hyperreal/Poly.thy Fri Jul 29 19:47:27 2005 +0200
@@ -9,7 +9,7 @@
header{*Univariate Real Polynomials*}
theory Poly
-imports Transcendental
+imports Ln
begin
text{*Application of polynomial as a real function.*}