CONTRIBUTORS

--- a/CONTRIBUTORS	Sat Mar 23 17:11:06 2013 +0100
+++ b/CONTRIBUTORS	Sat Mar 23 20:50:39 2013 +0100
@@ -7,6 +7,9 @@
 --------------------------------------
 
 * March 2013: Florian Haftmann, TUM
+  Reform of "big operators" on sets.
+
+* March 2013: Florian Haftmann, TUM
   Algebraic locale hierarchy for orderings and (semi)lattices.
 
 * Feb. 2013: Florian Haftmann, TUM