Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. moved lemmas into Poly_Mod
  2. removed unused code-lemma
Changeset 8286:37ef6157be52 by rene thiemann _rene.thiemann@uibk.ac.at_:
moved lemmas into Poly_Mod
The file was modified thys/Berlekamp_Zassenhaus/Berlekamp_Hensel.thy (diff)
The file was modified thys/Berlekamp_Zassenhaus/Hensel_Lifting.thy (diff)
The file was modified thys/Berlekamp_Zassenhaus/Poly_Mod.thy (diff)
The file was modified thys/Berlekamp_Zassenhaus/Poly_Mod_Finite_Field.thy (diff)
Changeset 8285:3f9310e03a17 by rene thiemann _rene.thiemann@uibk.ac.at_:
removed unused code-lemma
The file was modified thys/Berlekamp_Zassenhaus/Hensel_Lifting.thy (diff)