src/HOL/Computational_Algebra/Polynomial_Factorial.thy
2017-05-30 nipkow 2017-05-30 tuned names
2017-05-30 nipkow 2017-05-30 redefined Greatest
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