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