CONTRIBUTORS
authorhaftmann
Sat Jul 05 16:07:23 2014 +0200 (2014-07-05)
changeset 575199e5f47e83629
parent 57518 2f640245fc6d
child 57522 251ef0202e71
CONTRIBUTORS
CONTRIBUTORS
     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.