src/HOL/Computational_Algebra/Fundamental_Theorem_Algebra.thy
2017-08-17 eberlm 2017-08-17 Replaced subseq with strict_mono
2017-04-17 haftmann 2017-04-17 more systematic treatment of polynomial 1
2017-04-07 wenzelm 2017-04-07 tuned headers;
2017-04-06 haftmann 2017-04-06 session containing computational algebra