Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned proof
  2. already in distribution
Changeset 7861:d8029bd41c4c by haftmann:
tuned proof
The file was modified thys/Berlekamp_Zassenhaus/Square_Free_Factorization_Int.thy (diff)
Changeset 7860:f02e16ecff2a by haftmann:
already in distribution
The file was modified thys/Polynomial_Interpolation/Missing_Polynomial.thy (diff)