CONTRIBUTORS

--- a/CONTRIBUTORS	Mon Oct 25 10:45:22 2010 +0200
+++ b/CONTRIBUTORS	Mon Oct 25 13:34:57 2010 +0200
@@ -7,6 +7,9 @@
 --------------------------------------
 
 * September 2010: Florian Haftmann, TUM
+  Refined concepts for evaluation, i.e. normalisation of terms using different techniques.
+
+* September 2010: Florian Haftmann, TUM
   Code generation for Scala.
 
 * August 2010: Johannes Hoelzl, Armin Heller, and Robert Himmelmann, TUM