Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper imports according to Isabelle/79e9587dbcc;
Changeset 7502:45dd81cdecef by wenzelm:
proper imports according to Isabelle/79e9587dbcc;
The file was modified thys/Berlekamp_Zassenhaus/Finite_Field_Factorization_Record_Based.thy (diff)
The file was modified thys/Berlekamp_Zassenhaus/Hensel_Lifting.thy (diff)
The file was modified thys/Berlekamp_Zassenhaus/ROOT (diff)
The file was modified thys/Berlekamp_Zassenhaus/Suitable_Prime.thy (diff)
The file was modified thys/Perron_Frobenius/Cancel_Card_Constraint.thy (diff)
The file was modified thys/Perron_Frobenius/ROOT (diff)