1 files changed, 2 insertions, 2 deletions

diff --git a/AUTHORS b/AUTHORS
index a436b627..f2113698 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -3,12 +3,12 @@ Current Authors/Maintainers:
    Pierre Courtieu     (Coq, lib)
    Erik Martin-Dorel   (Coq, Web site)
    Clément Pit-Claudel (Coq, packaging)
-   Henrik Tews         (Proof Tree)
+   Christophe Raffalli (PhoX)
+   Hendrik Tews        (Proof Tree)
 
 Previous Authors:
 
    David Aspinall     (all)
-   Christoph Raffalli (PhoX)
    Makarius Wenzel    (Isar, generic)
    Stefan Berghofer   (Isar)
    Paul Callaghan     (Plastic, Lego)