Summary
- tidying up including contributions from Paulo Emílio de Vilhena
The file was modified | NEWS (diff) |
The file was modified | src/HOL/Algebra/Congruence.thy (diff) |
The file was modified | src/HOL/Analysis/Change_Of_Vars.thy (diff) |
The file was modified | src/HOL/Analysis/Lebesgue_Measure.thy (diff) |