diff -r 121dc80d120a -r 8cddc62ed170 CONTRIBUTORS
--- a/CONTRIBUTORS	Sun Jun 05 11:31:14 2005 +0200
+++ b/CONTRIBUTORS	Sun Jun 05 11:31:15 2005 +0200
@@ -5,4 +5,7 @@
 * May 2005: Florian Haftmann, TUM
   Several new antiquotation.
 
+* February 2005: Lucas Dixon, University of Edinburgh
+  Substantially improved subst method.
+
 $Id$