Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Changes from Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. dropped references to theorems from transitional theory Divides.thy
Changeset 80401:31bf95336f16 by haftmann:
dropped references to theorems from transitional theory Divides.thy
The file was modified src/Doc/Tutorial/Rules/Forward.thy
The file was modified src/HOL/Library/Word.thy
The file was modified src/HOL/Number_Theory/Gauss.thy
The file was modified src/HOL/Number_Theory/Quadratic_Reciprocity.thy

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. dropped references to theorems from transitional theory Divides.thy
Changeset 14512:9916be0be825 by haftmann:
dropped references to theorems from transitional theory Divides.thy
The file was modified thys/Berlekamp_Zassenhaus/Finite_Field_Factorization_Record_Based.thy
The file was modified thys/Berlekamp_Zassenhaus/Hensel_Lifting_Type_Based.thy
The file was modified thys/Berlekamp_Zassenhaus/Poly_Mod.thy
The file was modified thys/Coppersmith_Method/Coppersmith.thy
The file was modified thys/Coppersmith_Method/Coppersmith_Generic.thy
The file was modified thys/Coppersmith_Method/Howgrave_Graham.thy
The file was modified thys/Deep_Learning/DL_Deep_Model.thy
The file was modified thys/Deep_Learning/Tensor_Matricization.thy
The file was modified thys/Digit_Expansions/Bits_Digits.thy
The file was modified thys/Digit_Expansions/Carries.thy
The file was modified thys/Euler_Partition/Euler_Partition.thy
The file was modified thys/Group-Ring-Module/Algebra4.thy
The file was modified thys/Hoare_Time/QuantK_Hoare.thy
The file was modified thys/Multi_Party_Computation/Secure_Multiplication.thy
The file was modified thys/Pell/Efficient_Discrete_Sqrt.thy
The file was modified thys/Valuation/Valuation1.thy
The file was modified thys/Word_Lib/Reversed_Bit_Lists.thy
The file was modified thys/Word_Lib/Typedef_Morphisms.thy