CONTRIBUTORS

--- 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.