1.1 --- a/CONTRIBUTORS Sat Jul 05 16:04:23 2014 +0200
1.2 +++ b/CONTRIBUTORS Sat Jul 05 16:07:23 2014 +0200
1.3 @@ -10,9 +10,10 @@
1.4 Preserve equality hypotheses in "clarify" and friends. New
1.5 "hypsubst_thin" method configuration option.
1.6
1.7 -* June 2014: Florian Haftmann, TUM
1.8 - Consolidation and generalization of facts concerning products
1.9 - (resp. sums) on finite sets.
1.10 +* Summer 2014: Florian Haftmann, TUM
1.11 + Consolidation and generalization of facts concerning (abelian)
1.12 + semigroups and monoids, particularly products (resp. sums) on
1.13 + finite sets.
1.14
1.15 * June 2014: Florian Haftmann, TUM
1.16 Internal reorganisation of the local theory / named target stack.