A remark on differentiability of Cauchy horizons
  In a recent paper Kr\'olak and Beem have shown differentiability of Cauchy horizons at all points of multiplicity one. In this note we give a simpler proof of this result. 
Piotr T. Chrusciel