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