src/HOL/Analysis/Vitali_Covering_Theorem.thy
8 months ago haftmann 2018-11-18 removed legacy input syntax
10 months ago Angeliki KoutsoukouArgyraki 2018-08-28 tagged 21 theories in the Analysis library for the manual
15 months ago paulson 2018-04-20 three new theorems
15 months ago paulson 2018-04-17 Change of variables proof
15 months ago paulson 2018-04-17 Vitali covering theorem