Current Authors/Maintainers:

   David Aspinall <da@dcs.ed.ac.uk>	
     doc, etc, generic, html, images, isa, demoisa
   Markus Wenzel <wenzelm@informatik.tu-muenchen.de>
     isar
   Paul Callaghan <P.C.Callaghan@durham.ac.uk>
     plastic, lego
   Pierre Courtieu <courtieu@lri.fr>
     coq
 
Previous Authors:

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