AUTHORS


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

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
   Christoph Rafalli <Christophe.Raffalli@univ-savoie.fr>
     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)