src/HOL/Fundamental_Theorem_Algebra.thy
2008-12-29 haftmann 2008-12-29 adapted HOL source structure to distribution layout