Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. tuning abortion criterion
  2. minor fix
Changeset 6259:6c071e0bc139 by rene thiemann _rene.thiemann@uibk.ac.at_:
tuning abortion criterion
The file was modified thys/Polynomial_Factorization/Berlekamp_Hensel_Factorization.thy (diff)
Changeset 6258:28359a1f4fec by rene thiemann _rene.thiemann@uibk.ac.at_:
minor fix
The file was modified thys/Polynomial_Factorization/Berlekamp_Hensel_Factorization.thy (diff)