CONTRIBUTORS

--- a/CONTRIBUTORS	Sat Sep 06 20:12:32 2014 +0200
+++ b/CONTRIBUTORS	Sat Sep 06 20:12:34 2014 +0200
@@ -6,6 +6,10 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* September 2014: Florian Haftmann, TUM
+  Lexicographic order on functions and
+  sum/product over function bodies.
+
 * August 2014: Manuel Eberl, TUM
   Generic euclidean algorithms for gcd et al.