CONTRIBUTORS

--- a/CONTRIBUTORS	Mon Nov 02 11:56:38 2015 +0100
+++ b/CONTRIBUTORS	Mon Nov 02 16:17:09 2015 +0100
@@ -6,6 +6,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* Autumn 2015: Chaitanya Mangla, Lawrence C Paulson, and Manuel Eberl
+  A large number of additional binomial identities.
+
 * Summer 2015: Daniel Matichuk, NICTA and Makarius Wenzel
   Isar subgoal command for proof structure within unstructured proof
   scripts.