--- a/CONTRIBUTORS Wed Jan 06 12:18:53 2016 +0100
+++ b/CONTRIBUTORS Wed Jan 06 16:17:50 2016 +0100
@@ -7,8 +7,8 @@
-----------------------------
* Summer 2014: Jeremy Avigad, Luke Serafin, CMU, and Johannes Hölzl, TUM
- Proof of the central limit theorem: includes weak convergence, characteristic
- functions, and Levy's uniqueness and continuity theorem.
+ Proof of the central limit theorem: includes weak convergence,
+ characteristic functions, and Levy's uniqueness and continuity theorem.
* Winter 2015: Manuel Eberl, TUM
The radius of convergence of power series and various summability tests.