CONTRIBUTORS
changeset 69814 5929b172c6fe
parent 69791 195aeee8b30a
child 69907 4343c1bfa52d
     1.1 --- a/CONTRIBUTORS	Fri Feb 15 07:11:09 2019 +0000
     1.2 +++ b/CONTRIBUTORS	Fri Feb 15 07:11:11 2019 +0000
     1.3 @@ -6,6 +6,14 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* January 2019: Florian Haftmann
     1.8 +  Clarified syntax and congruence rules for big operators on sets
     1.9 +  involving the image operator.
    1.10 +
    1.11 +* January 2919: Florian Haftmann
    1.12 +  Renovation of code generation, particularly proper strings for OCaml
    1.13 +  end export into session data.
    1.14 +
    1.15  * February 2019: Jeremy Sylvestre
    1.16    Formal Laurent Series and overhaul of Formal power series.
    1.17  
    1.18 @@ -21,8 +29,11 @@
    1.19    New implementation for case_of_simps based on Code_Lazy's
    1.20    pattern matching elimination algorithm.
    1.21  
    1.22 +* December 2018: Florian Haftmann
    1.23 +  Generic executable sorting algorithms based on executable comparators.
    1.24 +
    1.25  * October 2018: Mathias Fleury
    1.26 -  Proof reconstruction for the SMT solver veriT in the smt method
    1.27 +  Proof reconstruction for the SMT solver veriT in the smt method.
    1.28  
    1.29  
    1.30  Contributions to Isabelle2018