src/HOL/Hyperreal/HTranscendental.thy

--- a/src/HOL/Hyperreal/HTranscendental.thy	Wed May 16 09:45:22 2007 +0200
+++ b/src/HOL/Hyperreal/HTranscendental.thy	Wed May 16 23:03:45 2007 +0200
@@ -8,7 +8,7 @@
 header{*Nonstandard Extensions of Transcendental Functions*}
 
 theory HTranscendental
-imports Transcendental Integration HSeries HDeriv
+imports Transcendental HSeries HDeriv
 begin
 
 definition