Skip to content
Failed

Changes

Summary

  1. minor changes + docu
  2. tuned divmod-algorithm
Changeset 6257:abdf8c45d7b0 by rene thiemann _rene.thiemann@uibk.ac.at_:
minor changes + docu
The file was modified thys/Polynomial_Factorization/Berlekamp_Hensel_Factorization.thy (diff)
Changeset 6256:0b2dc00a7a37 by rene thiemann _rene.thiemann@uibk.ac.at_:
tuned divmod-algorithm
The file was modified thys/Polynomial_Factorization/Polynomial_Field.thy (diff)