--- 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$