AUTHORS


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

Current Authors/Maintainers:

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

Previous Authors:

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