Does anyone know, where I can find the proof of necessary and sufficient conditions for differentiating under the integral sign in case of Henstock integral? Here are the theorems but not all the proofs:

>_Necessary and sufficient conditions for differentiating under the integral sign_<br>
Erik Talvila<br>
[arXiv:math/0101012](http://arxiv.org/abs/math/0101012)

>We give necessary and sufficient conditions for differentiating under the integral sign an integral that depends on a parameter. The conditions require the equality of two iterated integrals and depend on being able to integrate every derivative. The Henstock integral is thus used in an essential way. <br>