# HG changeset patch
# User chaieb
# Date 1203935222 -3600
# Node ID 6f94eb10adad290a5ae1725cb43bd3199e19bb64
# Parent  ca578d3b9f8cd228d54183ab15644167537a3186
Now imports Funamental_Theorem_Algebra

diff -r ca578d3b9f8c -r 6f94eb10adad src/HOL/Complex/Complex_Main.thy
--- a/src/HOL/Complex/Complex_Main.thy	Mon Feb 25 11:27:00 2008 +0100
+++ b/src/HOL/Complex/Complex_Main.thy	Mon Feb 25 11:27:02 2008 +0100
@@ -7,7 +7,7 @@
 header{*Comprehensive Complex Theory*}
 
 theory Complex_Main
-imports CLim "../Hyperreal/Hyperreal"
+imports Fundamental_Theorem_Algebra CLim "../Hyperreal/Hyperreal"
 begin
 
 end