We define what it means for time translation symmetry to be spontaneously broken in a quantum system and show with analytical arguments and numerical simulations that this occurs in a large class of many-body-localized driven systems with discrete time-translation symmetry.