Current Authors/Maintainers:

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

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

Assistance also from:

   David von Oheimb  (x-symbol)