CONTRIBUTORS
changeset 23449 dd874e6a3282
parent 23382 0459ab90389a
child 24332 e3a2b75b1cf9
     1.1 --- a/CONTRIBUTORS	Thu Jun 21 12:01:27 2007 +0200
     1.2 +++ b/CONTRIBUTORS	Thu Jun 21 13:23:33 2007 +0200
     1.3 @@ -10,6 +10,12 @@
     1.4  * June 2007: Amine Chaieb, TUM
     1.5    Semiring normalization and Groebner Bases
     1.6  
     1.7 +* June 2007: Joe Hurd, Oxford
     1.8 +  Metis theorem-prover
     1.9 +
    1.10 +* 2006/2007: Kong W. Susanto, Cambridge
    1.11 +  HOL: Metis prover integration.
    1.12 +
    1.13  * 2006/2007: Florian Haftmann, TUM
    1.14    Pure: generic code generator framework.
    1.15    Pure: class package.