src/HOL/Computational_Algebra/Polynomial.thy
17 months ago wenzelm 2017-11-26 more symbols;
18 months ago haftmann 2017-10-08 abolished (semi)ring_div in favour of euclidean_(semi)ring_cancel
18 months ago haftmann 2017-10-08 Polynomial_Factorial does not depend on Field_as_Ring as such
18 months ago haftmann 2017-10-08 tuned
20 months ago eberlm 2017-08-29 Some small lemmas about polynomials and FPSs
20 months ago wenzelm 2017-08-18 session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
23 months ago haftmann 2017-05-11 more lemmas
2017-04-25 haftmann 2017-04-25 instance for polynomial rings with characteristic zero
2017-04-17 haftmann 2017-04-17 more systematic treatment of polynomial 1
2017-04-16 haftmann 2017-04-16 more rules concerning of_nat, of_int, numeral
2017-04-07 wenzelm 2017-04-07 tuned headers;
2017-04-06 haftmann 2017-04-06 session containing computational algebra