#468 (Sep 23, 2016, 8:10:04 PM)

1. move absolutely_integrable_on to Equivalence_Lebesgue_Henstock_Integration, now based on the Lebesgue integral (detail / hgweb)
2. prove HK-integrable implies Lebesgue measurable; prove HK-integral equals Lebesgue integral for nonneg functions (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 1 sec waiting;
• 1 hr 34 min build duration;
• 1 hr 39 min total from scheduled to completion.