CONTRIBUTORS
changeset 57519 9e5f47e83629
parent 57516 943f4623b9d1
child 57695 987c9ceeaafd
child 57827 abc60f963842
     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.