Lyapunov Functions for Nonlinear Time-Varying Systems