CONTRIBUTORS
authorhaftmann
Sat Apr 05 10:03:03 2014 +0200 (2014-04-05)
changeset 56416b9baecff0684
parent 56415 f61a0f7cbde5
child 56417 04d0083cb9e5
CONTRIBUTORS
CONTRIBUTORS
     1.1 --- a/CONTRIBUTORS	Sat Apr 05 10:01:07 2014 +0200
     1.2 +++ b/CONTRIBUTORS	Sat Apr 05 10:03:03 2014 +0200
     1.3 @@ -9,6 +9,9 @@
     1.4  * March 2014: René Thiemann
     1.5    Improved code generation for multisets.
     1.6  
     1.7 +* February 2014: Florian Haftmann, TUM
     1.8 +  Permanent interpretation inside theory, locale and class targets with mixin definitions.
     1.9 +
    1.10  * Fall 2013 and Winter 2014: Lorenz Panny, Dmitriy Traytel, and
    1.11    Jasmin Blanchette, TUM
    1.12    Various improvements to the BNF-based (co)datatype package, including
    1.13 @@ -22,6 +25,12 @@
    1.14    An improved, interactive simplifier trace with integration into the
    1.15    Isabelle/jEdit Prover IDE.
    1.16  
    1.17 +* December 2013: Florian Haftmann, TUM
    1.18 +  Consolidation of abstract interpretations concerning min and max.
    1.19 +
    1.20 +* November 2013: Florian Haftmann, TUM
    1.21 +  Abolishment of negative numeral literals in the logic.
    1.22 +
    1.23  
    1.24  Contributions to Isabelle2013-1
    1.25  -------------------------------