Current Authors/Maintainers:

   David Aspinall <da@dcs.ed.ac.uk>	
     doc, etc, generic, html, images, isa, demoisa
   Stefan Berghofer  <sberghofer@informatik.tu-muenchen.de>
     isar
   Paul Callaghan <P.C.Callaghan@durham.ac.uk>
     plastic, lego
   Pierre Courtieu <courtieu@lri.fr>
     coq
   Christoph Raffalli <Christophe.Raffalli@univ-savoie.fr>
     phox
 
Previous Authors:

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

Assistance also from:

   David von Oheimb  (x-symbol)