Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Now imports Funamental_Theorem_Algebra
authorchaieb
Mon, 25 Feb 2008 11:27:02 +0100
changeset 26118 6f94eb10adad
parent 26117 ca578d3b9f8c
child 26119 cb9bdde1b444
Now imports Funamental_Theorem_Algebra
src/HOL/Complex/Complex_Main.thy file | annotate | diff | comparison | revisions 
--- 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
isabelle