Summary
- repaired a proof
- Continued proof simplifications
- merged
- A further round of proof consolidation
The file was modified | src/HOL/Analysis/Measure_Space.thy (diff) |
The file was modified | src/HOL/Analysis/Sigma_Algebra.thy (diff) |
The file was modified | src/HOL/Analysis/Tagged_Division.thy (diff) |
The file was modified | src/HOL/Analysis/Topology_Euclidean_Space.thy (diff) |
The file was modified | src/HOL/Analysis/Derivative.thy (diff) |
The file was modified | src/HOL/Analysis/Measure_Space.thy (diff) |
The file was modified | src/HOL/Analysis/Sigma_Algebra.thy (diff) |