# HG changeset patch
# User haftmann
# Date 1404569243 -7200
# Node ID 9e5f47e836294a01e937e686f905365fa92c6328
# Parent  2f640245fc6d39c2fe263000ae49ad04796fa21d
CONTRIBUTORS

diff -r 2f640245fc6d -r 9e5f47e83629 CONTRIBUTORS
--- a/CONTRIBUTORS	Sat Jul 05 16:04:23 2014 +0200
+++ b/CONTRIBUTORS	Sat Jul 05 16:07:23 2014 +0200
@@ -10,9 +10,10 @@
   Preserve equality hypotheses in "clarify" and friends. New
   "hypsubst_thin" method configuration option.
 
-* June 2014: Florian Haftmann, TUM
-  Consolidation and generalization of facts concerning products
-  (resp. sums) on finite sets.
+* Summer 2014: Florian Haftmann, TUM
+  Consolidation and generalization of facts concerning (abelian)
+  semigroups and monoids, particularly products (resp. sums) on
+  finite sets.
 
 * June 2014: Florian Haftmann, TUM
   Internal reorganisation of the local theory / named target stack.