A mathematical preprint develops a symmetry-reduction framework for time-dependent Hamiltonian systems and illustrates it with two mechanical examples.