CONTRIBUTORS
changeset 59092 d469103c0737
parent 58626 6c473ed0ac70
child 59813 6320064f22bb
     1.1 --- a/CONTRIBUTORS	Thu Dec 04 21:28:35 2014 +0100
     1.2 +++ b/CONTRIBUTORS	Fri Dec 05 12:06:18 2014 +0100
     1.3 @@ -6,6 +6,9 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* December 2014: Johannes Hölzl, Manuel Eberl, Sudeep Kanav, TUM and Jeremy Avigad, Luke Serafin, CMU
     1.8 +  Various integration theorems: mostly integration on intervals and substitution.
     1.9 +
    1.10  * September 2014: Florian Haftmann, TUM
    1.11    Lexicographic order on functions and
    1.12    sum/product over function bodies.