CONTRIBUTORS
changeset 62499 4a5b81ff5992
parent 62343 24106dc44def
child 62652 7248d106c607
     1.1 --- a/CONTRIBUTORS	Wed Mar 02 19:43:31 2016 +0100
     1.2 +++ b/CONTRIBUTORS	Thu Mar 03 08:33:55 2016 +0100
     1.3 @@ -10,6 +10,9 @@
     1.4    Abolition of compound operators INFIMUM and SUPREMUM
     1.5    for complete lattices.
     1.6  
     1.7 +* March 2016: Florian Haftmann
     1.8 +  Abstract factorial rings with unique factorization.
     1.9 +
    1.10  
    1.11  Contributions to Isabelle2016
    1.12  -----------------------------