--- a/src/HOL/Complex/CLim.thy Tue May 15 07:28:08 2007 +0200
+++ b/src/HOL/Complex/CLim.thy Tue May 15 08:10:31 2007 +0200
@@ -7,7 +7,7 @@
header{*Limits, Continuity and Differentiation for Complex Functions*}
theory CLim
-imports CSeries
+imports CStar
begin
(*not in simpset?*)