Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. more accurate cong del; tuned proofs;
Changeset 63567:41037360dcb7 by wenzelm:
merged
Changeset 63566:e5abbdee461a by wenzelm:
more accurate cong del;<br>tuned proofs;
The file was modified src/HOL/Bali/Conform.thy (diff)
The file was modified src/HOL/Matrix_LP/Matrix.thy (diff)
The file was modified src/HOL/Multivariate_Analysis/Convex_Euclidean_Space.thy (diff)
The file was modified src/HOL/Number_Theory/Gauss.thy (diff)
The file was modified src/HOL/Old_Number_Theory/Gauss.thy (diff)
The file was modified src/HOL/Probability/Bochner_Integration.thy (diff)
The file was modified src/HOL/Probability/Borel_Space.thy (diff)
The file was modified src/HOL/Probability/Information.thy (diff)
The file was modified src/HOL/Probability/Lebesgue_Measure.thy (diff)
The file was modified src/HOL/Probability/Nonnegative_Lebesgue_Integration.thy (diff)
The file was modified src/HOL/Probability/SPMF.thy (diff)
The file was modified src/HOL/Product_Type.thy (diff)
The file was modified src/HOL/Transcendental.thy (diff)