Seol mar théacs é seo: Limit theorems for empirical distribution functions,