src/HOL/Library/Diagonal_Subsequence.thy

--- a/src/HOL/Library/Diagonal_Subsequence.thy	Tue Mar 26 12:20:58 2013 +0100
+++ b/src/HOL/Library/Diagonal_Subsequence.thy	Tue Mar 26 12:20:58 2013 +0100
@@ -3,7 +3,7 @@
 header {* Sequence of Properties on Subsequences *}
 
 theory Diagonal_Subsequence
-imports SEQ
+imports Complex_Main
 begin
 
 locale subseqs =