CONTRIBUTORS
changeset 64011 54b785efd547
parent 63964 9f0308e80366
child 64072 9f96e4da3064
     1.1 --- a/CONTRIBUTORS	Thu Sep 29 20:54:46 2016 +0200
     1.2 +++ b/CONTRIBUTORS	Mon Oct 03 14:34:29 2016 +0200
     1.3 @@ -6,13 +6,17 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 -* January 2016: Florian Haftmann
     1.8 +* January 2016: Florian Haftmann, TUM
     1.9    Abolition of compound operators INFIMUM and SUPREMUM
    1.10    for complete lattices.
    1.11  
    1.12 -* March 2016: Florian Haftmann
    1.13 +* March 2016: Florian Haftmann, TUM
    1.14    Abstract factorial rings with unique factorization.
    1.15  
    1.16 +* March 2016: Florian Haftmann, TUM
    1.17 +  Reworking of the HOL char type as special case of a
    1.18 +  finite numeral type.
    1.19 +
    1.20  * March 2016: Andreas Lochbihler
    1.21    Reasoning support for monotonicity, continuity and
    1.22    admissibility in chain-complete partial orders.
    1.23 @@ -23,6 +27,11 @@
    1.24  * June 2016: Andreas Lochbihler
    1.25    Formalisation of discrete subprobability distributions.
    1.26  
    1.27 +* June 2016: Florian Haftmann, TUM
    1.28 +  Improvements to code generation: optional timing measurements,
    1.29 +  more succint closures for static evaluation, less ambiguities
    1.30 +  concering Scala implicits.
    1.31 +
    1.32  * July 2016: Daniel Stuewe
    1.33    Height-size proofs in HOL/Data_Structures
    1.34