# HG changeset patch
# User wenzelm
# Date 1364303679 -3600
# Node ID abcd6d5f75081b3429d85ce240d8baa250a7e217
# Parent  a1d324ef12d48366f1c08f20eff710249bc3dcb1
more standard imports;

diff -r a1d324ef12d4 -r abcd6d5f7508 src/HOL/Library/Fundamental_Theorem_Algebra.thy
--- a/src/HOL/Library/Fundamental_Theorem_Algebra.thy	Tue Mar 26 14:05:08 2013 +0100
+++ b/src/HOL/Library/Fundamental_Theorem_Algebra.thy	Tue Mar 26 14:14:39 2013 +0100
@@ -3,7 +3,7 @@
 header{*Fundamental Theorem of Algebra*}
 
 theory Fundamental_Theorem_Algebra
-imports Polynomial Complex
+imports Polynomial Complex_Main
 begin
 
 subsection {* Square root of complex numbers *}