Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. manual merge
  2. localized partial_function_mr
  3. adjusted to Isabelle 52bf9f67a3c9, use lthy', ... when updating lthys
  4. merge
  5. merge
  6. renamings in Berlekamp-Hensel
Changeset 8301:9c75078055dc by rene thiemann _rene.thiemann@uibk.ac.at_:
manual merge
Changeset 8300:b6936cbe03d9 by rene thiemann _rene.thiemann@uibk.ac.at_:
localized partial_function_mr
The file was modified thys/Partial_Function_MR/Partial_Function_MR_Examples.thy (diff)
The file was modified thys/Partial_Function_MR/document/root.tex (diff)
The file was modified thys/Partial_Function_MR/partial_function_mr.ML (diff)
Changeset 8299:ce5012f3e6f4 by rene thiemann _rene.thiemann@uibk.ac.at_:
adjusted to Isabelle 52bf9f67a3c9, use lthy', ... when updating lthys
The file was modified thys/Partial_Function_MR/Partial_Function_MR_Examples.thy (diff)
The file was modified thys/Partial_Function_MR/partial_function_mr.ML (diff)
Changeset 8298:9b151d698a62 by rene thiemann _rene.thiemann@uibk.ac.at_:
merge
Changeset 8297:be90d8fd0ad3 by rene thiemann _rene.thiemann@uibk.ac.at_:
merge
Changeset 8296:b91a1d0974a4 by rene thiemann _rene.thiemann@uibk.ac.at_:
renamings in Berlekamp-Hensel
The file was modified thys/Berlekamp_Zassenhaus/Finite_Field_Factorization_Record_Based.thy (diff)
The file was modified thys/Berlekamp_Zassenhaus/Gcd_Finite_Field_Impl.thy (diff)
The file was modified thys/Berlekamp_Zassenhaus/Hensel_Lifting.thy (diff)
The file was modified thys/Berlekamp_Zassenhaus/Hensel_Lifting_Type_Based.thy (diff)
The file was modified thys/Berlekamp_Zassenhaus/Poly_Mod_Finite_Field_Record_Based.thy (diff)
The file was modified thys/Berlekamp_Zassenhaus/Suitable_Prime.thy (diff)