CONTRIBUTORS
changeset 62343 24106dc44def
parent 62284 1fd4831e9f93
child 62499 4a5b81ff5992
     1.1 --- a/CONTRIBUTORS	Wed Feb 17 21:51:55 2016 +0100
     1.2 +++ b/CONTRIBUTORS	Wed Feb 17 21:51:56 2016 +0100
     1.3 @@ -6,6 +6,10 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* January 2016: Florian Haftmann
     1.8 +  Abolition of compound operators INFIMUM and SUPREMUM
     1.9 +  for complete lattices.
    1.10 +
    1.11  
    1.12  Contributions to Isabelle2016
    1.13  -----------------------------