CONTRIBUTORS
changeset 64072 9f96e4da3064
parent 64011 54b785efd547
child 64363 90ceace1e814
     1.1 --- a/CONTRIBUTORS	Mon Oct 03 14:34:29 2016 +0200
     1.2 +++ b/CONTRIBUTORS	Fri Oct 07 10:23:50 2016 +0200
     1.3 @@ -3,8 +3,8 @@
     1.4  listed as an author in one of the source files of this Isabelle distribution.
     1.5  
     1.6  
     1.7 -Contributions to this Isabelle version
     1.8 ---------------------------------------
     1.9 +Contributions to Isabelle2016-1
    1.10 +-------------------------------
    1.11  
    1.12  * January 2016: Florian Haftmann, TUM
    1.13    Abolition of compound operators INFIMUM and SUPREMUM