src/HOL/Computational_Algebra/Polynomial_FPS.thy
2017-08-21 Manuel Eberl 2017-08-21 HOL-Analysis: Convergent FPS and infinite sums
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