1.1 --- a/CONTRIBUTORS	Sun Jun 05 11:31:14 2005 +0200
     1.2 +++ b/CONTRIBUTORS	Sun Jun 05 11:31:15 2005 +0200
     1.3 @@ -5,4 +5,7 @@
     1.4  * May 2005: Florian Haftmann, TUM
     1.5    Several new antiquotation.
     1.6  
     1.7 +* February 2005: Lucas Dixon, University of Edinburgh
     1.8 +  Substantially improved subst method.
     1.9 +
    1.10  $Id$