Current Authors/Maintainers:

   David Aspinall     (all)
   Paul Callaghan     (plastic,lego)
   Stefan Berghofer   (isar)
   Pierre Courtieu    (coq)
   Christoph Raffalli (phox)
   Markarius Wenzel   (isar)
 
Previous Authors:

   Healfdene Goguen  (coq, generic, doc)
   Thomas Kleymann   (lego, doc, generic)
   Patrick Loiseleur (coq)
   Dilip Sequeira    (lego)

Assistance also from:

   David von Oheimb  (x-symbol)
   Graham Dutton     (web support)