  We prove that compact Cauchy horizons in a smooth spacetime satisfying the
null energy condition are smooth. As an application, we consider the problem of
determining when a cobordism admits Lorentzian metrics with certain properties.
In particular, we prove a result originally due to Tipler without the
smoothness hypothesis necessary in the original proof.
