Summary
- merged
- more accurate cong del; 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) |