CONTRIBUTORS
changeset 51489 f738e6dbd844
parent 51487 f4bfdee99304
child 51682 bdaa1582dc8b
     1.1 --- a/CONTRIBUTORS	Sat Mar 23 17:11:06 2013 +0100
     1.2 +++ b/CONTRIBUTORS	Sat Mar 23 20:50:39 2013 +0100
     1.3 @@ -7,6 +7,9 @@
     1.4  --------------------------------------
     1.5  
     1.6  * March 2013: Florian Haftmann, TUM
     1.7 +  Reform of "big operators" on sets.
     1.8 +
     1.9 +* March 2013: Florian Haftmann, TUM
    1.10    Algebraic locale hierarchy for orderings and (semi)lattices.
    1.11  
    1.12  * Feb. 2013: Florian Haftmann, TUM