Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. fixed another summation from 0
  3. fixed some proofs, replacing {0..n} by {..n}
Changeset 9183:ba558fdf522c by paulson:
merged
Changeset 9182:1ca310910e19 by paulson _lp15@cam.ac.uk_:
fixed another summation from 0
The file was modified thys/LLL_Factorization/Factor_Bound_2.thy (diff)
Changeset 9181:742c4e4d413e by paulson _lp15@cam.ac.uk_:
fixed some proofs, replacing {0..n} by {..n}
The file was modified thys/Affine_Arithmetic/Affine_Approximation.thy (diff)
The file was modified thys/Berlekamp_Zassenhaus/Berlekamp_Type_Based.thy (diff)
The file was modified thys/Bernoulli/Bernoulli_FPS.thy (diff)