Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. removed transitive import
  2. fixing imports
Changeset 7425:9df14dd76fc1 by rene thiemann _rene.thiemann@uibk.ac.at_:
removed transitive import
The file was modified thys/Berlekamp_Zassenhaus/Square_Free_Factorization_Int.thy (diff)
Changeset 7424:726d27fe84c3 by rene thiemann _rene.thiemann@uibk.ac.at_:
fixing imports
The file was modified thys/Berlekamp_Zassenhaus/Distinct_Degree_Factorization.thy (diff)
The file was modified thys/Berlekamp_Zassenhaus/Sublist_Iteration.thy (diff)