src/HOL/Library/Polynomial_Factorial.thy
2016-09-16 haftmann 2016-09-16 prefer abbreviation for trivial set conversion
2016-09-09 nipkow 2016-09-09 msetsum -> set_mset, msetprod -> prod_mset
2016-09-01 wenzelm 2016-09-01 tuned headers;
2016-08-25 Manuel Eberl 2016-08-25 Deprivatisation of lemmas in Polynomial_Factorial
2016-08-16 eberlm 2016-08-16 Polynomial algebra cleanup (tuned)
2016-08-16 eberlm 2016-08-16 Polynomial algebra cleanup