src/HOL/Analysis/Vitali_Covering_Theorem.thy
4 weeks ago paulson 2019-03-19 new material about topology, etc.; also fixes for yesterday's
2 months ago Angeliki KoutsoukouArgyraki 2019-01-25 tagged 4 theories
3 months ago immler 2019-01-17 subsection is always %important
5 months ago haftmann 2018-11-18 removed legacy input syntax
7 months ago Angeliki KoutsoukouArgyraki 2018-08-28 tagged 21 theories in the Analysis library for the manual
12 months ago paulson 2018-04-20 three new theorems
12 months ago paulson 2018-04-17 Change of variables proof
12 months ago paulson 2018-04-17 Vitali covering theorem