Lucas Dixon;
authorwenzelm
Sun Jun 05 11:31:15 2005 +0200 (2005-06-05)
changeset 162528cddc62ed170
parent 16251 121dc80d120a
child 16253 c567f9fd61a2
Lucas Dixon;
CONTRIBUTORS
     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$