Summary
- merged
- one tiny fix
- merged
- merged
- tidying more messy proofs
- merged
- more efficient code
The file was modified | src/HOL/Probability/Fin_Map.thy (diff) |
The file was modified | src/HOL/Analysis/Equivalence_Lebesgue_Henstock_Integration.thy (diff) |
The file was modified | src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff) |
The file was modified | src/HOL/Analysis/Lebesgue_Measure.thy (diff) |
The file was modified | src/HOL/Analysis/Ordered_Euclidean_Space.thy (diff) |
The file was modified | src/HOL/Analysis/Path_Connected.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/List.thy (diff) |