On differentiability of volume time functions

We show differentiability of a class of Geroch's volume functions on globally hyperbolic manifolds. Furthermore, we prove that every volume function satisfies a local anti-Lipschitz condition over causal curves, and that locally Lipschitz time functions which are locally anti-Lipschitz can be uniformly approximated by smooth time functions with timelike gradient. Finally, we prove that in stably causal spacetimes Hawking's time function can be uniformly approximated by smooth time functions with timelike gradient