src/HOL/Library/Polynomial_FPS.thy
2017-01-17 wenzelm 2017-01-17 isabelle update_cartouches -c -t;
2016-10-17 nipkow 2016-10-17 setprod -> prod
2016-10-17 nipkow 2016-10-17 setsum -> sum
2016-10-16 haftmann 2016-10-16 more standardized names
2016-09-15 nipkow 2016-09-15 renamed listsum -> sum_list, listprod ~> prod_list
2016-07-22 wenzelm 2016-07-22 tuned proofs -- avoid improper use of "this";
2016-06-17 eberlm 2016-06-17 fps_from_poly → fps_of_poly
2016-06-16 eberlm 2016-06-16 Various additions to polynomials, FPSs, Gamma function