Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

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

Summary

  1. reduce prominence of facts
Changeset 76231:8a48e18f081e by haftmann:
reduce prominence of facts
The file was modified src/HOL/Divides.thy
The file was modified src/HOL/Euclidean_Division.thy
The file was modified src/HOL/Library/Numeral_Type.thy
The file was modified src/HOL/Library/Omega_Words_Fun.thy
The file was modified src/HOL/Library/Word.thy
The file was modified src/HOL/Number_Theory/Cong.thy
The file was modified src/HOL/Number_Theory/Pocklington.thy
The file was modified src/HOL/UNITY/Simple/Token.thy

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

Summary

  1. tuned proofs
Changeset 13067:a74db29363f5 by haftmann:
tuned proofs
The file was modified thys/Affine_Arithmetic/Executable_Euclidean_Space.thy
The file was modified thys/BenOr_Kozen_Reif/BKR_Proofs.thy
The file was modified thys/Berlekamp_Zassenhaus/Poly_Mod_Finite_Field_Record_Based.thy
The file was modified thys/CRYSTALS-Kyber/Abs_Qr.thy
The file was modified thys/Case_Labeling/Examples/Monadic_Language.thy
The file was modified thys/Consensus_Refined/Consensus_Misc.thy
The file was modified thys/Digit_Expansions/Carries.thy
The file was modified thys/Diophantine_Eqns_Lin_Hom/Linear_Diophantine_Equations.thy
The file was modified thys/Dirichlet_L/Dirichlet_Characters.thy
The file was modified thys/Gauss_Sums/Gauss_Sums.thy
The file was modified thys/Group-Ring-Module/Algebra4.thy
The file was modified thys/List-Infinite/CommonArith/Util_Div.thy
The file was modified thys/Ordinary_Differential_Equations/Numerics/Example_Utilities.thy
The file was modified thys/Padic_Field/Padic_Field_Powers.thy
The file was modified thys/Probabilistic_Prime_Tests/Jacobi_Symbol.thy
The file was modified thys/Rank_Nullity_Theorem/Mod_Type.thy
The file was modified thys/SumSquares/FourSquares.thy
The file was modified thys/Valuation/Valuation1.thy
The file was modified thys/Virtual_Substitution/OptimizationProofs.thy
The file was modified thys/Word_Lib/Bits_Int.thy
The file was modified thys/Word_Lib/Reversed_Bit_Lists.thy