src/HOL/Library/Polynomial_FPS.thy
Fri, 22 Jul 2016 08:02:37 +0200 wenzelm tuned proofs -- avoid improper use of "this";
Fri, 17 Jun 2016 11:33:52 +0200 eberlm fps_from_poly → fps_of_poly
Thu, 16 Jun 2016 17:57:09 +0200 eberlm Various additions to polynomials, FPSs, Gamma function
less more (0) tip