1 files changed, 8 insertions, 12 deletions
diff --git a/AUTHORS b/AUTHORS
index c2725604..d430bd57 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -1,21 +1,17 @@
 Current Authors/Maintainers:
 
    David Aspinall     (all)
-   Paul Callaghan     (plastic,lego)
-   Stefan Berghofer   (isar)
    Pierre Courtieu    (coq)
    Christoph Raffalli (phox)
    Makarius Wenzel    (isar)
  
 Previous Authors:
 
-   Healfdene Goguen  (coq, generic, doc)
-   Thomas Kleymann   (lego, doc, generic)
-   Patrick Loiseleur (coq)
-   Dilip Sequeira    (lego)
-   David von Oheimb  (x-symbol)
-
-Assistance also from:
-
-   Graham Dutton     (web support)
-
+   Stefan Berghofer   (isar)
+   Paul Callaghan     (plastic,lego)
+   Healfdene Goguen   (coq, generic, doc)
+   Thomas Kleymann    (lego, doc, generic)
+   Patrick Loiseleur  (coq)
+   David von Oheimb   (x-symbol)
+   Dilip Sequeira     (lego)
+   Graham Dutton      (web support)